Tue, 01 Dec 2020 08:50:04 UTC

Information for build alt-ergo-2.0.0-10.fc32

ID1484369
Package Namealt-ergo
Version2.0.0
Release10.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/alt-ergo.git#7b4b4843a2cfcf3074a66d6d15b500564d6db4eb
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
StartedFri, 27 Mar 2020 22:09:50 UTC
CompletedFri, 27 Mar 2020 22:12:58 UTC
Taskbuild (f32-candidate, /rpms/alt-ergo.git:7b4b4843a2cfcf3074a66d6d15b500564d6db4eb)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/alt-ergo.git#7b4b4843a2cfcf3074a66d6d15b500564d6db4eb'}}
Tags
f32
RPMs
src
alt-ergo-2.0.0-10.fc32.src.rpm (info) (download)
aarch64
alt-ergo-2.0.0-10.fc32.aarch64.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.aarch64.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.aarch64.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.aarch64.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.aarch64.rpm (info) (download)
armv7hl
alt-ergo-2.0.0-10.fc32.armv7hl.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.armv7hl.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.armv7hl.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.armv7hl.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.armv7hl.rpm (info) (download)
i686
alt-ergo-2.0.0-10.fc32.i686.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.i686.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.i686.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.i686.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.i686.rpm (info) (download)
ppc64le
alt-ergo-2.0.0-10.fc32.ppc64le.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.ppc64le.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.ppc64le.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.ppc64le.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.ppc64le.rpm (info) (download)
s390x
alt-ergo-2.0.0-10.fc32.s390x.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.s390x.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.s390x.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.s390x.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.s390x.rpm (info) (download)
x86_64
alt-ergo-2.0.0-10.fc32.x86_64.rpm (info) (download)
alt-ergo-gui-2.0.0-10.fc32.x86_64.rpm (info) (download)
alt-ergo-debuginfo-2.0.0-10.fc32.x86_64.rpm (info) (download)
alt-ergo-debugsource-2.0.0-10.fc32.x86_64.rpm (info) (download)
alt-ergo-gui-debuginfo-2.0.0-10.fc32.x86_64.rpm (info) (download)
Logs
x86_64
root.log
build.log
state.log
hw_info.log
mock_output.log
ppc64le
root.log
hw_info.log
build.log
state.log
mock_output.log
aarch64
state.log
build.log
hw_info.log
root.log
mock_output.log
i686
state.log
build.log
hw_info.log
root.log
mock_output.log
s390x
hw_info.log
root.log
build.log
state.log
mock_output.log
armv7hl
build.log
root.log
hw_info.log
state.log
mock_output.log
Changelog * Tue Mar 24 2020 Jerry James <loganjerry@gmail.com> - 2.0.0-10 - Rebuild for ocaml-menhir 20200211 * Fri Feb 28 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-9.1 - OCaml 4.10.0 final (Fedora 32). * 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 * 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.