Information for RPM yices-tools-2.6.5-8.fc42.riscv64.rpm

ID109827
Buildyices-2.6.5-8.fc42
Nameyices-tools
Version2.6.5
Release8.fc42
Epoch
Archriscv64
DraftFalse
SummaryCommand line tools that use the yices library
DescriptionCommand line tools that use the yices library.
Build Time2025-05-25 08:55:39 GMT
Size2.34 MB
c3d81263f3381e7d6dff6f9a06b93c03
LicenseGPL-3.0-or-later AND BSD-3-Clause
git:https://github.com/SRI-CSL/yices2.git
Provides
yices-tools = 2.6.5-8.fc42
yices-tools(riscv-64) = 2.6.5-8.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libcadical.so.0()(64bit)
libcryptominisat5.so.5.13()(64bit)
libgmp.so.10()(64bit)
libkissat.so.0()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libpoly.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
yices(riscv-64) = 2.6.5-8.fc42
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 17 of 17
Name ascending sort Size
/usr/bin/yices3.12 MB
/usr/bin/yices-sat52.32 KB
/usr/bin/yices-smt3.01 MB
/usr/bin/yices-smt23.15 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/240.00 B
/usr/lib/.build-id/24/536c6cad320e803147bfa813f93f11dab8f1cd25.00 B
/usr/lib/.build-id/970.00 B
/usr/lib/.build-id/97/d80319df223608d99ddb99e97933f2de12665430.00 B
/usr/lib/.build-id/bf0.00 B
/usr/lib/.build-id/bf/76de55416a92fe6ada4f773d6365a10fa7fad329.00 B
/usr/lib/.build-id/d80.00 B
/usr/lib/.build-id/d8/b761d2539a33f78adbc47cb0f55d65dd2ef36529.00 B
/usr/share/man/man1/yices-sat.1.gz587.00 B
/usr/share/man/man1/yices-smt.1.gz800.00 B
/usr/share/man/man1/yices-smt2.1.gz1.12 KB
/usr/share/man/man1/yices.1.gz1.16 KB
Component of No Buildroots