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

alt-ergo-2.4.3-2.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / a

Name: alt-ergo Distribution: Fedora Project
Version: 2.4.3 Vendor: Fedora Project
Release: 2.fc45 Build date: Fri Feb 20 18:53:57 2026
Group: Unspecified Build host: buildvm-ppc64le-26.rdu3.fedoraproject.org
Size: 13328155 Source RPM: alt-ergo-2.4.3-2.fc45.src.rpm
Packager: Fedora Project
Url: https://alt-ergo.ocamlpro.com/
Summary: Automated theorem prover including linear arithmetic
 
Alt-Ergo is an automated theorem prover implemented in OCaml.  It is based on
CC(X) - a congruence closure algorithm parameterized by an equational theory
X.  This algorithm is reminiscent of the Shostak algorithm.  Currently CC(X)
is instantiated by the theory of linear arithmetics.  Alt-Ergo also contains a
home made SAT-solver and an instantiation mechanism by which it fully supports
quantifiers.

Provides

Requires

License

CECILL-C

Changelog

* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 2.4.3-2
  - OCaml 5.4.1 rebuild
* Fri Feb 06 2026 Jerry James <loganjerry@gmail.com> - 2.4.3-1
  - Version 2.4.3
  - The GUI is no longer distributed with the free version
  - The ability to build the library is no longer distributed with the free
    version
  - Drop many upstreamed patches
  - Add patch to allow building with cmdliner 2.x
  - Add patch to move binary plugin out of /usr/share
  - Add patch to avoid a deprecation warning
* Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 2.3.3-32
  - Rebuild for ocaml-menhir 20260122
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-31
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-30
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-29
  - OCaml 5.4.0 rebuild
* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-28
  - Rebuild for ocaml-menhir 20250912
* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-27
  - Rebuild for ocaml-menhir 20250903
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-26
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-25
  - Rebuild to fix OCaml dependencies
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-23
  - OCaml 5.3.0 rebuild for Fedora 42
  - Correct License fields from Apache-2.0 to CECILL-C
  - Do configuration steps in %conf
* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-22
  - Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-21
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-20
  - Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-19
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-18
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Add patch to fix misplaced inline attributes

Files

/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/cb01b606d50ed9e51ebe9758e5ddc8af149345
/usr/lib/.build-id/f1
/usr/lib/.build-id/f1/b416b2a5de8f7357935c3b06b29de76c5c42a3
/usr/lib64/ocaml/alt-ergo-free
/usr/lib64/ocaml/alt-ergo-free/META
/usr/lib64/ocaml/alt-ergo-free/dune-package
/usr/lib64/ocaml/alt-ergo-free/opam
/usr/lib64/ocaml/alt-ergo-free/plugins
/usr/lib64/ocaml/alt-ergo-free/plugins/fm-simplex-plugin.cma
/usr/lib64/ocaml/alt-ergo-free/plugins/fm-simplex-plugin.cmxs
/usr/lib64/ocaml/alt-ergo-free/preludes
/usr/lib64/ocaml/alt-ergo-free/preludes/b-set-theory-prelude-2018-09-28.ae
/usr/lib64/ocaml/alt-ergo-free/preludes/b-set-theory-prelude-2020-02-28.ae
/usr/lib64/ocaml/alt-ergo-free/preludes/fpa-theory-2017-01-04-16h00.ae
/usr/lib64/ocaml/alt-ergo-free/preludes/fpa-theory-2019-06-14-11h00.ae
/usr/lib64/ocaml/alt-ergo-free/preludes/fpa-theory-2019-10-08-19h00.ae
/usr/share/doc/alt-ergo
/usr/share/doc/alt-ergo/Alt-Ergo--Atelier-B--RSSR-2016.pdf
/usr/share/doc/alt-ergo/Alt-Ergo-2.2--SMT-Workshop-2018.pdf
/usr/share/doc/alt-ergo/CHANGES.md
/usr/share/doc/alt-ergo/README.md
/usr/share/doc/alt-ergo/examples
/usr/share/doc/alt-ergo/examples/AB-Why3-plugin
/usr/share/doc/alt-ergo/examples/AB-Why3-plugin/p4_34.why
/usr/share/doc/alt-ergo/examples/invalid
/usr/share/doc/alt-ergo/examples/invalid/arith1.ae
/usr/share/doc/alt-ergo/examples/invalid/arith2.ae
/usr/share/doc/alt-ergo/examples/invalid/arrays.ae
/usr/share/doc/alt-ergo/examples/invalid/bitv.ae
/usr/share/doc/alt-ergo/examples/lib_usage.ml
/usr/share/doc/alt-ergo/examples/valid
/usr/share/doc/alt-ergo/examples/valid/ac_arith.ae
/usr/share/doc/alt-ergo/examples/valid/arith1.ae
/usr/share/doc/alt-ergo/examples/valid/arith2.ae
/usr/share/doc/alt-ergo/examples/valid/arith3.ae
/usr/share/doc/alt-ergo/examples/valid/arith4.ae
/usr/share/doc/alt-ergo/examples/valid/arrays.ae
/usr/share/doc/alt-ergo/examples/valid/bitv.ae
/usr/share/doc/alt-ergo/examples/valid/congruence.ae
/usr/share/doc/alt-ergo/examples/valid/enum_arrays.ae
/usr/share/doc/alt-ergo/examples/valid/quantifiers.ae
/usr/share/man/man1/alt-ergo.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 13 00:49:32 2026