Sat, 27 Apr 2024 06:05:49 UTC | login

Information for build coq-8.9.1-4.fc31

ID124314
Package Namecoq
Version8.9.1
Release4.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#8659a7f087a0582e1adbfe013300ef96520f4970
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 bydavidlt
State failed
Volume DEFAULT
StartedSat, 21 Sep 2019 16:27:34 UTC
CompletedSat, 21 Sep 2019 17:04:05 UTC
Taskbuild (f31-candidate, /rpms/coq.git:8659a7f087a0582e1adbfe013300ef96520f4970)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#8659a7f087a0582e1adbfe013300ef96520f4970'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-3 - Bump and rebuild against new ocaml-num package. * Tue Nov 07 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-2 - OCaml 4.06.0 rebuild. - Backport various fixes to make Coq compile with OCaml 4.06. - BR the "new" legacy ocaml-num library.