Tue, 20 Oct 2026 18:24:49 UTC | login

Information for RPM yices-debuginfo-2.7.0-10.fc45.riscv64.rpm

ID94117
Buildyices-2.7.0-10.fc45
Nameyices-debuginfo
Version2.7.0
Release10.fc45
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 Time2026-10-18 08:04:07 GMT
Size6.33 MB
246f0439b88601e6cfd3bb10261a36fd
LicenseGPL-3.0-or-later AND BSD-3-Clause
git:https://github.com/SRI-CSL/yices2.git
Buildrootf45-build-39358-733
Provides
debuginfo(build-id) = b747d16ff194274720d7257648225c48b3690323
libyices.so.2.7.0-2.7.0-10.fc45.riscv64.debug()(64bit)
yices-debuginfo = 2.7.0-10.fc45
yices-debuginfo(riscv-64) = 2.7.0-10.fc45
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.7.0-10.fc45
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/b70.00 B
/usr/lib/debug/.build-id/b7/47d16ff194274720d7257648225c48b369032360.00 B
/usr/lib/debug/.build-id/b7/47d16ff194274720d7257648225c48b3690323.debug84.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/yices-2.7.0-10.fc45.riscv641.08 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr/lib64/libyices.so.2.7.0-2.7.0-10.fc45.riscv64.debug18.18 MB
Component of No Buildroots