ethos-0.1.1-1.fc42 RPM for s390x

From Fedora Rawhide for s390x / e

The Ethos checker is an efficient and extensible tool for checking proofs of
Satisfiability Modulo Theories (SMT) solvers.

Provides

• ethos
• ethos(s390-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(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)

License

BSD-3-Clause

Changelog

* Thu Jan 30 2025 Jerry James <loganjerry@gmail.com> - 0.1.1-1
  - Initial RPM

Files

/usr/bin/ethos
/usr/lib/.build-id
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/1a7c850ce40ecc97fc59e0d6483b0d88ac877d
/usr/share/doc/ethos
/usr/share/doc/ethos/NEWS.md
/usr/share/doc/ethos/README.md
/usr/share/doc/ethos/user_manual.md
/usr/share/licenses/ethos
/usr/share/licenses/ethos/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Feb 3 04:16:34 2025