Fri, 26 Jul 2024 07:46:55 UTC | login

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

ID1144033
Nameminisat2-debuginfo
Version2.2.1
Release17.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 Time2023-12-09 19:17:58 GMT
Size43.22 KB
15b31c6ec7155888884a8506133c1231
LicenseMIT
Buildrootf40-build-759290-120367
Provides
debuginfo(build-id) = 0d51894f26400df7deafda462fc806c5df828d44
minisat2-debuginfo = 2.2.1-17.fc40
minisat2-debuginfo(riscv-64) = 2.2.1-17.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-17.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/0d0.00 B
/usr/lib/debug/.build-id/0d/51894f26400df7deafda462fc806c5df828d4460.00 B
/usr/lib/debug/.build-id/0d/51894f26400df7deafda462fc806c5df828d44.debug72.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/minisat2-2.2.1-17.fc40.riscv6426.62 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/minisat-2.2.1-17.fc40.riscv64.debug71.23 KB
Component of No Buildroots