Fri, 10 May 2024 08:11:39 UTC | login

Information for RPM minisat2-debuginfo-2.2.1-19.fc40.riscv64.rpm

ID1267212
Nameminisat2-debuginfo
Version2.2.1
Release19.fc40
Epoch
Archriscv64
SummaryDebug information for package minisat2
DescriptionThis package provides debug information for package minisat2. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2024-03-28 13:29:24 GMT
Size43.39 KB
824967fd924436c75611d7b02e4007e3
LicenseMIT
Buildrootf40-build-799653-142442
Provides
debuginfo(build-id) = 9c890dde29f660c846b824260d8fa5d3fda53d7b
minisat2-debuginfo = 2.2.1-19.fc40
minisat2-debuginfo(riscv-64) = 2.2.1-19.fc40
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
minisat2-debugsource(riscv-64) = 2.2.1-19.fc40
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/9c0.00 B
/usr/lib/debug/.build-id/9c/890dde29f660c846b824260d8fa5d3fda53d7b60.00 B
/usr/lib/debug/.build-id/9c/890dde29f660c846b824260d8fa5d3fda53d7b.debug72.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/minisat2-2.2.1-19.fc40.riscv6426.58 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/minisat-2.2.1-19.fc40.riscv64.debug72.76 KB
Component of No Buildroots