Wed, 15 May 2024 11:19:20 UTC | login

Information for build alt-ergo-2.0.0-1.fc31

ID103033
Package Namealt-ergo
Version2.0.0
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/alt-ergo.git#84816c8abd454e51a4304fc2dedbd6c380c84d8d
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
StartedThu, 25 Jul 2019 19:50:14 UTC
CompletedThu, 25 Jul 2019 20:01:05 UTC
Taskbuild (f31-candidate, /rpms/alt-ergo.git:84816c8abd454e51a4304fc2dedbd6c380c84d8d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/alt-ergo.git#84816c8abd454e51a4304fc2dedbd6c380c84d8d'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.30-14 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.30-13 - OCaml 4.07.0-rc1 rebuild. * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sun Jan 07 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.30-11 - Remove obsolete scriptlets * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-10 - OCaml 4.06.0 rebuild. * Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-9 - OCaml 4.05.0 rebuild. * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild