Mon, 03 Jun 2024 10:31:57 UTC | login

Information for RPM cbmc-debuginfo-5.10-1.fc30.riscv64.rpm

ID298567
Namecbmc-debuginfo
Version5.10
Release1.fc30
Epoch
Archriscv64
SummaryDebug information for package cbmc
DescriptionThis package provides debug information for package cbmc. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2018-12-05 05:01:23 GMT
Size126.47 MB
f4e646f5f29547deb47c935ac456e982
LicenseBSD with advertising
Buildrootf30-build-36374-20535
Provides
cbmc-debuginfo = 5.10-1.fc30
cbmc-debuginfo(riscv-64) = 5.10-1.fc30
debuginfo(build-id) = 3f66ed520b3e76f2704ee22f7906c9d5285e92d7
debuginfo(build-id) = 9907e815b7a3dad8cb349be355eaad6fb12a0bf9
debuginfo(build-id) = baebf0eee02b8cced16e4c49346fe5a4773e8285
debuginfo(build-id) = c7372ea6804eaea30ec119a66d0b14a9e0fb40f4
debuginfo(build-id) = e3197f1a8c9d1b927030ed1fac653285050bc66d
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(PayloadIsXz) <= 5.2-1
Recommends
cbmc-debugsource(riscv-64) = 5.10-1.fc30
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 26 of 26
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/3f0.00 B
/usr/lib/debug/.build-id/3f/66ed520b3e76f2704ee22f7906c9d5285e92d760.00 B
/usr/lib/debug/.build-id/3f/66ed520b3e76f2704ee22f7906c9d5285e92d7.debug78.00 B
/usr/lib/debug/.build-id/990.00 B
/usr/lib/debug/.build-id/99/07e815b7a3dad8cb349be355eaad6fb12a0bf960.00 B
/usr/lib/debug/.build-id/99/07e815b7a3dad8cb349be355eaad6fb12a0bf9.debug76.00 B
/usr/lib/debug/.build-id/ba0.00 B
/usr/lib/debug/.build-id/ba/ebf0eee02b8cced16e4c49346fe5a4773e828560.00 B
/usr/lib/debug/.build-id/ba/ebf0eee02b8cced16e4c49346fe5a4773e8285.debug67.00 B
/usr/lib/debug/.build-id/c70.00 B
/usr/lib/debug/.build-id/c7/372ea6804eaea30ec119a66d0b14a9e0fb40f460.00 B
/usr/lib/debug/.build-id/c7/372ea6804eaea30ec119a66d0b14a9e0fb40f4.debug70.00 B
/usr/lib/debug/.build-id/e30.00 B
/usr/lib/debug/.build-id/e3/197f1a8c9d1b927030ed1fac653285050bc66d60.00 B
/usr/lib/debug/.build-id/e3/197f1a8c9d1b927030ed1fac653285050bc66d.debug72.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cbmc-5.10-1.fc30.riscv6432.55 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cbmc-5.10-1.fc30.riscv64.debug130.15 MB
/usr/lib/debug/usr/bin/goto-analyzer-5.10-1.fc30.riscv64.debug81.08 MB
/usr/lib/debug/usr/bin/goto-cc-5.10-1.fc30.riscv64.debug63.98 MB
/usr/lib/debug/usr/bin/goto-diff-5.10-1.fc30.riscv64.debug76.67 MB
/usr/lib/debug/usr/bin/goto-instrument-5.10-1.fc30.riscv64.debug158.67 MB
Component of No Buildroots