Tue, 28 May 2024 04:20:20 UTC | login

Information for RPM yices-debuginfo-2.6.1-2.fc31.riscv64.rpm

ID396942
Nameyices-debuginfo
Version2.6.1
Release2.fc31
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 Time2019-07-28 06:00:38 GMT
Size3.57 MB
93a8fd14064918539f4eb74376ab7f55
LicenseGPLv3+
Buildrootf31-build-61358-28847
Provides
debuginfo(build-id) = 94d9ba5535d8d000fd1a8a9d7722a6f619a02c04
yices-debuginfo = 2.6.1-2.fc31
yices-debuginfo(riscv-64) = 2.6.1-2.fc31
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
yices-debugsource(riscv-64) = 2.6.1-2.fc31
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/940.00 B
/usr/lib/debug/.build-id/94/d9ba5535d8d000fd1a8a9d7722a6f619a02c0460.00 B
/usr/lib/debug/.build-id/94/d9ba5535d8d000fd1a8a9d7722a6f619a02c04.debug83.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.6.1-2.fc31.riscv64663.29 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-2.fc31.riscv64.debug15.81 MB
Component of No Buildroots