Mon, 16 Sep 2024 19:54:04 UTC | login

Information for RPM zenon-debuginfo-0.8.5-28.fc41.riscv64.rpm

ID1363159
Namezenon-debuginfo
Version0.8.5
Release28.fc41
Epoch
Archriscv64
SummaryDebug information for package zenon
DescriptionThis package provides debug information for package zenon. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2024-07-25 11:08:11 GMT
Size279.90 KB
ce9fac9a39be57f17b68940c56045758
LicenseBSD-3-Clause
git:https://github.com/zenon-prover/zenon.git
Buildrootf41-build-821300-152509
Provides
debuginfo(build-id) = c1c5b24570740b8c10665955201cb94d2a67dd3a
zenon-debuginfo = 0.8.5-28.fc41
zenon-debuginfo(riscv-64) = 0.8.5-28.fc41
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
zenon-debugsource(riscv-64) = 0.8.5-28.fc41
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/c10.00 B
/usr/lib/debug/.build-id/c1/c5b24570740b8c10665955201cb94d2a67dd3a60.00 B
/usr/lib/debug/.build-id/c1/c5b24570740b8c10665955201cb94d2a67dd3a.debug70.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/zenon-0.8.5-28.fc41.riscv64.debug1.39 MB
Component of No Buildroots