ID 6676
Build cryptominisat-5.13.0-1.fc42
Name cryptominisat-debuginfo
Version 5.13.0
Release 1.fc42
Epoch
Arch riscv64
Draft False
Summary
Description
Build Time 2025-05-21 18:41:44 GMT
Size 1.13 MB
SIGMD5 5adf607d794d97918173b96ff3508e71
License MIT
VCS git:https://github.com/msoos/cryptominisat.git
Provides
cryptominisat-debuginfo = 5.13.0-1.fc42
cryptominisat-debuginfo(riscv-64) = 5.13.0-1.fc42
debuginfo(build-id) = a91d89e416eaa49b7637779933ffb18eac698cf4
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends
cryptominisat-debugsource(riscv-64) = 5.13.0-1.fc42
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots