Information for RPM cryptominisat-devel-5.11.21-3.fc41.riscv64.rpm
ID | 1318282 | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | ||||||||||||||||||
Version | 5.11.21 | ||||||||||||||||||
Release | 3.fc41 | ||||||||||||||||||
Epoch | |||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||
Summary | Header files for developing with cryptominisat | ||||||||||||||||||
Description | Header files for developing applications that use cryptominisat. | ||||||||||||||||||
Build Time | 2024-07-11 16:17:38 GMT | ||||||||||||||||||
Size | 25.12 KB | ||||||||||||||||||
b5266393fbfeb9aac9d374ae676f197e | |||||||||||||||||||
License | MIT AND BSD-3-Clause | ||||||||||||||||||
https://github.com/msoos/cryptominisat | |||||||||||||||||||
Buildroot | f41-build-813605-148684 | ||||||||||||||||||
Provides |
|
||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||
Requires |
|
||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||
Files | |||||||||||||||||||
Component of |
|