Thu, 21 Nov 2024 22:44:10 UTC | login

Information for build coq-8.9.1-10.fc32

ID132484
Package Namecoq
Version8.9.1
Release10.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#41be1c198213787ddc73bf2a51b688623e81a054
SummaryProof management system
DescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
Built byrjones
State failed
Volume DEFAULT
StartedFri, 10 Jan 2020 21:32:57 UTC
CompletedFri, 10 Jan 2020 21:47:03 UTC
Taskbuild (f32-ocaml, /rpms/coq.git:41be1c198213787ddc73bf2a51b688623e81a054)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#41be1c198213787ddc73bf2a51b688623e81a054'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Jan 10 2020 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-10 - OCaml 4.09.0 for riscv64 * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-9 - OCaml 4.09.0 (final) rebuild. - Bump antlr4rel. * Tue Sep 03 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-6 - Fix the release numbers * Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 8.9.1-5 - Rebuilt for Python 3.8 * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-3 - OCaml 4.08.1 (rc2) rebuild. * Mon Jul 29 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-2 - Bump Epoch on antlr4-python3-runtime due to decrease in version number - Work around pr_dump.cmo snafu with new ocaml-camlp5 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.9.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-1 - New upstream release - Emacs support has been dropped upstream; obsolete the -emacs subpackage - Recommend ProofGeneral - Install more icon sizes - Bring the config dir back for system-wide configuration - Fix the antlr4-python3-runtime version * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.8.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 8.8.2-1 - New upstream release - Bundle the python3 runtime for antlr4 4.7.2 due to inaction on bz 1595974 and bz 1599015 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.7.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-6 - OCaml 4.07.0 (final) rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-5 - Bump release and rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-4 - Bump release and rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-3 - OCaml 4.07.0-rc1 rebuild. * Mon Feb 19 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-2 - Also filter out ocaml(Configwin_types) since the Provides is not generated * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-1 - New upstream release - All patches have been upstreamed; drop them - Switch back to camlp5, now required * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.6.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild