Fri, 22 Nov 2024 21:30:06 UTC | login

Information for RPM yices-tools-2.6.1-3.fc31.riscv64.rpm

ID442307
Nameyices-tools
Version2.6.1
Release3.fc31
Epoch
Archriscv64
SummaryCommand line tools that use the yices library
DescriptionCommand line tools that use the yices library.
Build Time2019-08-04 01:59:01 GMT
Size1.53 MB
305f65c4c27b72e78690b8b1d68d507f
LicenseGPLv3+
Buildrootf31-build-71777-30675
Provides
yices-tools = 2.6.1-3.fc31
yices-tools(riscv-64) = 2.6.1-3.fc31
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)
libgmp.so.10()(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.1-3.fc31
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 17 of 17
Name ascending sort Size
/usr/bin/yices2.00 MB
/usr/bin/yices-sat46.49 KB
/usr/bin/yices-smt1.88 MB
/usr/bin/yices-smt21.98 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/1b0.00 B
/usr/lib/.build-id/1b/a8330439c6f176155701fce66b6aeaf3ba24ad29.00 B
/usr/lib/.build-id/220.00 B
/usr/lib/.build-id/22/3eee90cc9d538c6b8016c4d17b7f79faf0be6525.00 B
/usr/lib/.build-id/990.00 B
/usr/lib/.build-id/99/e129ca22ae47aa8399f4df179a1bef8ed26a5130.00 B
/usr/lib/.build-id/eb0.00 B
/usr/lib/.build-id/eb/dd588ac95e1163c8ae31cecd63eeab915357bc29.00 B
/usr/share/man/man1/yices-sat.1.gz543.00 B
/usr/share/man/man1/yices-smt.1.gz758.00 B
/usr/share/man/man1/yices-smt2.1.gz807.00 B
/usr/share/man/man1/yices.1.gz1.05 KB
Component of No Buildroots