ID 7048
Build cryptominisat-5.13.0-1.fc42
Name cryptominisat-libs-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 6.64 MB
SIGMD5 7a1257d13c9d1a9323f84ba6c25e4cd9
License MIT
VCS git:https://github.com/msoos/cryptominisat.git
Provides
cryptominisat-libs-debuginfo = 5.13.0-1.fc42
cryptominisat-libs-debuginfo(riscv-64) = 5.13.0-1.fc42
debuginfo(build-id) = d4290efc94c006b91e5aeeee8bd3aa7c6902db89
debuginfo(build-id) = de3246907cc4e7f5e48cd7c5f1a915f131a86462
libcadiback.so.0.0.0-5.13.0-1.fc42.riscv64.debug()(64bit)
libcryptominisat5.so.5.13-5.13.0-1.fc42.riscv64.debug()(64bit)
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
cryptominisat-debuginfo(riscv-64) = 5.13.0-1.fc42
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