Sat, 25 Jan 2025 12:25:18 UTC | login

Information for RPM minisat2-debuginfo-2.2.1-15.fc37.riscv64.rpm

ID874456
Nameminisat2-debuginfo
Version2.2.1
Release15.fc37
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 Time2022-11-08 12:01:35 GMT
Size43.72 KB
a9ac9f8a5067f823137f14187fe3dd52
LicenseMIT
Buildrootf37-build-668441-74719
Provides
debuginfo(build-id) = 2dddfe1f6e9018d37a3624efe8ca346c3b4c92e2
minisat2-debuginfo = 2.2.1-15.fc37
minisat2-debuginfo(riscv-64) = 2.2.1-15.fc37
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-15.fc37
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/2d0.00 B
/usr/lib/debug/.build-id/2d/ddfe1f6e9018d37a3624efe8ca346c3b4c92e260.00 B
/usr/lib/debug/.build-id/2d/ddfe1f6e9018d37a3624efe8ca346c3b4c92e2.debug72.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/minisat2-2.2.1-15.fc37.riscv6426.82 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/minisat-2.2.1-15.fc37.riscv64.debug182.83 KB
Component of No Buildroots