Mon, 13 May 2024 00:14:02 UTC | login

Information for RPM yices-debuginfo-2.6.1-1.fc30.riscv64.rpm

ID297087
Nameyices-debuginfo
Version2.6.1
Release1.fc30
Epoch
Archriscv64
SummaryDebug information for package yices
DescriptionThis package provides debug information for package yices. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2018-12-04 21:53:51 GMT
Size3.59 MB
7fbe379535ec31d1b8d51e6f799c0ab8
LicenseGPLv3+
Buildrootf30-build-36039-20252
Provides
debuginfo(build-id) = 3cdca253af19326a35571efcac55a9aef3768988
yices-debuginfo = 2.6.1-1.fc30
yices-debuginfo(riscv-64) = 2.6.1-1.fc30
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
yices-debugsource(riscv-64) = 2.6.1-1.fc30
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/3c0.00 B
/usr/lib/debug/.build-id/3c/dca253af19326a35571efcac55a9aef376898860.00 B
/usr/lib/debug/.build-id/3c/dca253af19326a35571efcac55a9aef3768988.debug83.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.6.1-1.fc30.riscv64663.73 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr/lib64/libyices.so.2.6.1-2.6.1-1.fc30.riscv64.debug15.00 MB
Component of No Buildroots