Tue, 03 Dec 2024 01:13:48 UTC | login

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

ID267286
Namecbmc-debuginfo
Version5.10
Release1.fc29
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-10-10 05:25:12 GMT
Size125.84 MB
8310f75ef4235235d32630a38cfeb2cc
LicenseBSD with advertising
Buildrootf29-build-31854-16790
Provides
cbmc-debuginfo = 5.10-1.fc29
cbmc-debuginfo(riscv-64) = 5.10-1.fc29
debuginfo(build-id) = 1a552c66c4c2dc45c807f5c9befe8609cdc3a553
debuginfo(build-id) = 2a236a8f5bdc5358ad72bf4552d7945efa7b6480
debuginfo(build-id) = 32b211081ddd96f0146b5453d33550869b876146
debuginfo(build-id) = 55fb93da829e14e95eb1ecb0287fb9b658c39774
debuginfo(build-id) = 636cf5b99f0906b3883f504a498ccd88a2839851
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.fc29
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/1a0.00 B
/usr/lib/debug/.build-id/1a/552c66c4c2dc45c807f5c9befe8609cdc3a55360.00 B
/usr/lib/debug/.build-id/1a/552c66c4c2dc45c807f5c9befe8609cdc3a553.debug67.00 B
/usr/lib/debug/.build-id/2a0.00 B
/usr/lib/debug/.build-id/2a/236a8f5bdc5358ad72bf4552d7945efa7b648060.00 B
/usr/lib/debug/.build-id/2a/236a8f5bdc5358ad72bf4552d7945efa7b6480.debug70.00 B
/usr/lib/debug/.build-id/320.00 B
/usr/lib/debug/.build-id/32/b211081ddd96f0146b5453d33550869b87614660.00 B
/usr/lib/debug/.build-id/32/b211081ddd96f0146b5453d33550869b876146.debug72.00 B
/usr/lib/debug/.build-id/550.00 B
/usr/lib/debug/.build-id/55/fb93da829e14e95eb1ecb0287fb9b658c3977460.00 B
/usr/lib/debug/.build-id/55/fb93da829e14e95eb1ecb0287fb9b658c39774.debug76.00 B
/usr/lib/debug/.build-id/630.00 B
/usr/lib/debug/.build-id/63/6cf5b99f0906b3883f504a498ccd88a283985160.00 B
/usr/lib/debug/.build-id/63/6cf5b99f0906b3883f504a498ccd88a2839851.debug78.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cbmc-5.10-1.fc29.riscv6432.43 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cbmc-5.10-1.fc29.riscv64.debug128.34 MB
/usr/lib/debug/usr/bin/goto-analyzer-5.10-1.fc29.riscv64.debug80.18 MB
/usr/lib/debug/usr/bin/goto-cc-5.10-1.fc29.riscv64.debug63.44 MB
/usr/lib/debug/usr/bin/goto-diff-5.10-1.fc29.riscv64.debug75.77 MB
/usr/lib/debug/usr/bin/goto-instrument-5.10-1.fc29.riscv64.debug156.64 MB
Component of No Buildroots