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

Information for RPM yices-debuginfo-2.6.4-8.fc39.riscv64.rpm

ID464157
Buildyices-2.6.4-8.fc39
Nameyices-debuginfo
Version2.6.4
Release8.fc39
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-01-13 01:58:58 GMT
Size5.22 MB
5d9fcd9048941ccdc0b64fd5b7084b73
LicenseGPL-3.0-or-later and BSD-3-Clause
Buildrootf39-build-2233042-53355
Provides
debuginfo(build-id) = 801754ec4030693e186337963d7d10c8fe89fb25
libyices.so.2.6.4-2.6.4-8.fc39.riscv64.debug()(64bit)
yices-debuginfo = 2.6.4-8.fc39
yices-debuginfo(riscv-64) = 2.6.4-8.fc39
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-8.fc39
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/800.00 B
/usr/lib/debug/.build-id/80/1754ec4030693e186337963d7d10c8fe89fb2560.00 B
/usr/lib/debug/.build-id/80/1754ec4030693e186337963d7d10c8fe89fb25.debug83.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.6.4-8.fc39.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-8.fc39.riscv64.debug19.71 MB
Component of No Buildroots