Information for RPM yices-tools-debuginfo-2.6.5-8.fc42.riscv64.rpm

ID109904
Buildyices-2.6.5-8.fc42
Nameyices-tools-debuginfo
Version2.6.5
Release8.fc42
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package yices-tools
DescriptionThis package provides debug information for package yices-tools. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2025-05-25 08:55:39 GMT
Size16.48 MB
76b7c943d89eb4af26a76ad7f93fab6c
LicenseGPL-3.0-or-later AND BSD-3-Clause
git:https://github.com/SRI-CSL/yices2.git
Provides
debuginfo(build-id) = 24536c6cad320e803147bfa813f93f11dab8f1cd
debuginfo(build-id) = 97d80319df223608d99ddb99e97933f2de126654
debuginfo(build-id) = bf76de55416a92fe6ada4f773d6365a10fa7fad3
debuginfo(build-id) = d8b761d2539a33f78adbc47cb0f55d65dd2ef365
yices-tools-debuginfo = 2.6.5-8.fc42
yices-tools-debuginfo(riscv-64) = 2.6.5-8.fc42
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
yices-debuginfo(riscv-64) = 2.6.5-8.fc42
Recommends
yices-debugsource(riscv-64) = 2.6.5-8.fc42
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 20 of 20
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/240.00 B
/usr/lib/debug/.build-id/24/536c6cad320e803147bfa813f93f11dab8f1cd60.00 B
/usr/lib/debug/.build-id/24/536c6cad320e803147bfa813f93f11dab8f1cd.debug69.00 B
/usr/lib/debug/.build-id/970.00 B
/usr/lib/debug/.build-id/97/d80319df223608d99ddb99e97933f2de12665460.00 B
/usr/lib/debug/.build-id/97/d80319df223608d99ddb99e97933f2de126654.debug74.00 B
/usr/lib/debug/.build-id/bf0.00 B
/usr/lib/debug/.build-id/bf/76de55416a92fe6ada4f773d6365a10fa7fad360.00 B
/usr/lib/debug/.build-id/bf/76de55416a92fe6ada4f773d6365a10fa7fad3.debug73.00 B
/usr/lib/debug/.build-id/d80.00 B
/usr/lib/debug/.build-id/d8/b761d2539a33f78adbc47cb0f55d65dd2ef36560.00 B
/usr/lib/debug/.build-id/d8/b761d2539a33f78adbc47cb0f55d65dd2ef365.debug73.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/yices-2.6.5-8.fc42.riscv64.debug17.10 MB
/usr/lib/debug/usr/bin/yices-sat-2.6.5-8.fc42.riscv64.debug206.12 KB
/usr/lib/debug/usr/bin/yices-smt-2.6.5-8.fc42.riscv64.debug16.88 MB
/usr/lib/debug/usr/bin/yices-smt2-2.6.5-8.fc42.riscv64.debug17.44 MB
Component of No Buildroots