Information for RPM ethos-0.1.1-1.fc42.riscv64.rpm

ID10442
Buildethos-0.1.1-1.fc42
Nameethos
Version0.1.1
Release1.fc42
Epoch
Archriscv64
DraftFalse
SummaryFlexible and efficient proof checker for SMT solvers
DescriptionThe Ethos checker is an efficient and extensible tool for checking proofs of Satisfiability Modulo Theories (SMT) solvers.
Build Time2025-03-25 11:55:02 GMT
Size230.34 KB
77ef7404ce01f7a8552c56646e76221b
LicenseBSD-3-Clause
git:https://github.com/cvc5/ethos.git
Provides
ethos = 0.1.1-1.fc42
ethos(riscv-64) = 0.1.1-1.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)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libgmp.so.10()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/bin/ethos401.48 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/800.00 B
/usr/lib/.build-id/80/7ab2eb17c821bedb88a169f93277b2dde2351125.00 B
/usr/share/doc/ethos0.00 B
/usr/share/doc/ethos/NEWS.md2.19 KB
/usr/share/doc/ethos/README.md1.38 KB
/usr/share/doc/ethos/user_manual.md102.64 KB
/usr/share/licenses/ethos0.00 B
/usr/share/licenses/ethos/COPYING2.07 KB
Component of No Buildroots