Fri, 10 May 2024 17:48:02 UTC | login

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

ID273522
Nameyices-debuginfo
Version2.6.1
Release1.fc29
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-11-26 09:17:13 GMT
Size3.58 MB
eeaf82a8508d712c587a24e3e6d15ad8
LicenseGPLv3+
Buildrootf29-build-33624-18303
Provides
debuginfo(build-id) = 48d204d1f6ec253d95c1cb024d9617191818d683
yices-debuginfo = 2.6.1-1.fc29
yices-debuginfo(riscv-64) = 2.6.1-1.fc29
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.fc29
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/480.00 B
/usr/lib/debug/.build-id/48/d204d1f6ec253d95c1cb024d9617191818d68360.00 B
/usr/lib/debug/.build-id/48/d204d1f6ec253d95c1cb024d9617191818d683.debug83.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.6.1-1.fc29.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.fc29.riscv64.debug14.92 MB
Component of No Buildroots