fedora
This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for RPM yices-debuginfo-2.6.4-12.fc40.riscv64.rpm

ID574134
Buildyices-2.6.4-12.fc40
Nameyices-debuginfo
Version2.6.4
Release12.fc40
Epoch
Archriscv64
DraftFalse
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 Time2024-03-29 08:05:08 GMT
Size5.10 MB
1de09ad4a8115d1cfe5dc456942f1022
LicenseGPL-3.0-or-later AND BSD-3-Clause
Buildrootf40-build-2648658-66798
Provides
debuginfo(build-id) = acf1150e3e2b0f41e4971ca9ef18a83e1c015c98
libyices.so.2.6.4-2.6.4-12.fc40.riscv64.debug()(64bit)
yices-debuginfo = 2.6.4-12.fc40
yices-debuginfo(riscv-64) = 2.6.4-12.fc40
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.4-12.fc40
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/ac0.00 B
/usr/lib/debug/.build-id/ac/f1150e3e2b0f41e4971ca9ef18a83e1c015c9860.00 B
/usr/lib/debug/.build-id/ac/f1150e3e2b0f41e4971ca9ef18a83e1c015c98.debug84.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.6.4-12.fc40.riscv641.06 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr/lib64/libyices.so.2.6.4-2.6.4-12.fc40.riscv64.debug15.26 MB
Component of No Buildroots