Wed, 16 Jun 2021 14:38:01 UTC

Information for build alt-ergo-2.2.0-9.fc34

ID1720680
Package Namealt-ergo
Version2.2.0
Release9.fc34
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/alt-ergo.git#2cab6d39e0ec8065bdfa44cbb825f06e86599579
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 byjjames
State complete
Volume DEFAULT
StartedMon, 08 Mar 2021 17:41:17 UTC
CompletedMon, 08 Mar 2021 17:46:23 UTC
Taskbuild (f34-build-side-38374, /rpms/alt-ergo.git:2cab6d39e0ec8065bdfa44cbb825f06e86599579)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/alt-ergo.git#2cab6d39e0ec8065bdfa44cbb825f06e86599579'}}
Tags
f34
f34-updates-testing
RPMs
src
alt-ergo-2.2.0-9.fc34.src.rpm (info) (download)
aarch64
alt-ergo-2.2.0-9.fc34.aarch64.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.aarch64.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.aarch64.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.aarch64.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.aarch64.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.aarch64.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.aarch64.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.aarch64.rpm (info) (download)
armv7hl
alt-ergo-2.2.0-9.fc34.armv7hl.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.armv7hl.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.armv7hl.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.armv7hl.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.armv7hl.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.armv7hl.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.armv7hl.rpm (info) (download)
i686
alt-ergo-2.2.0-9.fc34.i686.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.i686.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.i686.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.i686.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.i686.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.i686.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.i686.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.i686.rpm (info) (download)
ppc64le
alt-ergo-2.2.0-9.fc34.ppc64le.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.ppc64le.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.ppc64le.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.ppc64le.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.ppc64le.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.ppc64le.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.ppc64le.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.ppc64le.rpm (info) (download)
s390x
alt-ergo-2.2.0-9.fc34.s390x.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.s390x.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.s390x.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.s390x.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.s390x.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.s390x.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.s390x.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.s390x.rpm (info) (download)
x86_64
alt-ergo-2.2.0-9.fc34.x86_64.rpm (info) (download)
alt-ergo-gui-2.2.0-9.fc34.x86_64.rpm (info) (download)
ocaml-alt-ergo-2.2.0-9.fc34.x86_64.rpm (info) (download)
ocaml-alt-ergo-devel-2.2.0-9.fc34.x86_64.rpm (info) (download)
alt-ergo-debuginfo-2.2.0-9.fc34.x86_64.rpm (info) (download)
alt-ergo-debugsource-2.2.0-9.fc34.x86_64.rpm (info) (download)
alt-ergo-gui-debuginfo-2.2.0-9.fc34.x86_64.rpm (info) (download)
ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.x86_64.rpm (info) (download)
Logs
armv7hl
state.log
root.log
build.log
hw_info.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
root.log
build.log
state.log
mock_output.log
Changelog * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-9 - Rebuild for ocaml-zarith 1.12 * Thu Feb 04 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-8 - Updates to the desktop and metainfo files - Add -pervasives patch * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-6 - Rebuild for ocaml-zarith 1.11 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-5 - Rebuild for ocaml-zarith 1.10 * 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