Wed, 20 Nov 2024 02:09:28 UTC | login

Information for RPM minisat2-debuginfo-2.2.1-16.fc38.riscv64.rpm

ID983371
Nameminisat2-debuginfo
Version2.2.1
Release16.fc38
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-03-30 15:03:32 GMT
Size44.33 KB
15519840f9cbeb1a94b0ba27d7304c7c
LicenseMIT
Buildrootf38-build-702598-89350
Provides
debuginfo(build-id) = 555b787bfef22cbc3ae4a59d4bd89cb602a943bb
minisat2-debuginfo = 2.2.1-16.fc38
minisat2-debuginfo(riscv-64) = 2.2.1-16.fc38
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-16.fc38
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/550.00 B
/usr/lib/debug/.build-id/55/5b787bfef22cbc3ae4a59d4bd89cb602a943bb60.00 B
/usr/lib/debug/.build-id/55/5b787bfef22cbc3ae4a59d4bd89cb602a943bb.debug72.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/minisat2-2.2.1-16.fc38.riscv6426.96 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/minisat-2.2.1-16.fc38.riscv64.debug184.49 KB
Component of No Buildroots