Information for RPM cryptominisat-debuginfo-5.13.0-1.fc42.riscv64.rpm

ID6676
Buildcryptominisat-5.13.0-1.fc42
Namecryptominisat-debuginfo
Version5.13.0
Release1.fc42
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package cryptominisat
DescriptionThis package provides debug information for package cryptominisat. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2025-05-21 18:41:44 GMT
Size1.13 MB
5adf607d794d97918173b96ff3508e71
LicenseMIT
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
1 through 10 of 10
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/a90.00 B
/usr/lib/debug/.build-id/a9/1d89e416eaa49b7637779933ffb18eac698cf460.00 B
/usr/lib/debug/.build-id/a9/1d89e416eaa49b7637779933ffb18eac698cf4.debug79.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cryptominisat-5.13.0-1.fc42.riscv64261.51 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cryptominisat5-5.13.0-1.fc42.riscv64.debug5.17 MB
Component of No Buildroots