ID | 411882 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Build | cryptominisat-5.11.22-2.fc41 | ||||||||||
Name | cryptominisat-devel | ||||||||||
Version | 5.11.22 | ||||||||||
Release | 2.fc41 | ||||||||||
Epoch | |||||||||||
Arch | riscv64 | ||||||||||
Draft | False | ||||||||||
Summary | Header files for developing with cryptominisat | ||||||||||
Description | Header files for developing applications that use cryptominisat. | ||||||||||
Build Time | 2024-10-19 12:36:06 GMT | ||||||||||
Size | 25.68 KB | ||||||||||
5b8a3736faf4b2b1bd19b727bf6082a1 | |||||||||||
License | MIT | ||||||||||
git:https://github.com/msoos/cryptominisat.git | |||||||||||
Buildroot | f41-build-side-1-3000752-36371 | ||||||||||
Provides |
|
||||||||||
Obsoletes | No Obsoletes | ||||||||||
Conflicts | No Conflicts | ||||||||||
Requires |
|
||||||||||
Recommends | No Recommends | ||||||||||
Suggests | No Suggests | ||||||||||
Supplements | No Supplements | ||||||||||
Enhances | No Enhances | ||||||||||
Files | |||||||||||
Component of | No Buildroots |