Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ethos-0.2.1-1.fc43 RPM for ppc64le

From Fedora 43 testing updates for ppc64le / Packages / e

Name: ethos Distribution: Fedora Project
Version: 0.2.1 Vendor: Fedora Project
Release: 1.fc43 Build date: Thu Sep 25 19:07:55 2025
Group: Unspecified Build host: buildvm-ppc64le-19.rdu3.fedoraproject.org
Size: 594712 Source RPM: ethos-0.2.1-1.fc43.src.rpm
Packager: Fedora Project
Url: https://github.com/cvc5/ethos
Summary: Flexible and efficient proof checker for SMT solvers
 
The Ethos checker is an efficient and extensible tool for checking proofs of
Satisfiability Modulo Theories (SMT) solvers.

Provides

Requires

License

BSD-3-Clause

Changelog

* Thu Sep 25 2025 Jerry James <loganjerry@gmail.com> - 0.2.1-1
  - Version 0.2.1
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Thu Jul 03 2025 Jerry James <loganjerry@gmail.com> - 0.2.0-2
  - Do not run tests in parallel
* Thu Jul 03 2025 Jerry James <loganjerry@gmail.com> - 0.2.0-1
  - Version 0.2.0
  - Drop upstreamed cstdint patch
* 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/f6
/usr/lib/.build-id/f6/e183cfc2e10a81a156f7ab706cce41408ed70c
/usr/share/doc/ethos
/usr/share/doc/ethos/AUTHORS
/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, Sat Sep 27 01:40:20 2025