Wed, 15 May 2024 13:54:26 UTC | login

Information for build alt-ergo-2.2.0-5.fc33

ID188425
Package Namealt-ergo
Version2.2.0
Release5.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/alt-ergo.git#ee3eafbcb14a50336e41157e10ab59c5676bd582
SummaryAutomated theorem prover including linear arithmetic
DescriptionAlt-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.
Built bydavidlt
State failed
Volume DEFAULT
StartedSun, 29 Nov 2020 16:53:45 UTC
CompletedSun, 29 Nov 2020 17:04:41 UTC
Taskbuild (f33, /rpms/alt-ergo.git:ee3eafbcb14a50336e41157e10ab59c5676bd582)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/alt-ergo.git#ee3eafbcb14a50336e41157e10ab59c5676bd582'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-5 - Rebuild for ocaml-zarith 1.10 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4.1 - Bump release and rebuild. * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-3 - OCaml 4.11.0 rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Fri Jun 19 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-1 - Version 2.2.0 - Drop upstreamed -newline patch * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-15 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-14 - OCaml 4.11.0 pre-release attempt 2 * Wed Apr 08 2020 Jerry James <loganjerry@gmail.com> - 2.0.0-13 - Filter out Requires for private interfaces we do not Provide * Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-12 - Update all OCaml dependencies for RPM 4.16. * Mon Mar 30 2020 Jerry James <loganjerry@gmail.com> - 2.0.0-11 - Rebuild for ocaml-zip 1.10 * Tue Mar 24 2020 Jerry James <loganjerry@gmail.com> - 2.0.0-10 - Rebuild for ocaml-menhir 20200211 * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-9 - OCaml 4.10.0 final. * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-7 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-6 - OCaml 4.09.0 (final) rebuild. * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 2.0.0-5 - Rebuild for ocaml-zarith 1.9 * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-4 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-3 - OCaml 4.08.1 (rc2) rebuild. * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 2.0.0-1 - Update to version 2.0.0 - Add -newline patch to fix FTBFS - Add a 256x256 icon * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild