Information for build coq-8.15.2-1.fc36
| ID | 1991057 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | coq | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Version | 8.15.2 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Release | 1.fc36 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Epoch | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/coq.git#6a1d4425d8b99ed0281687e6973a4f3f5d0d10b6 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Summary | Proof management system | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Description | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Built by | jjames | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Started | Wed, 22 Jun 2022 14:54:00 UTC | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Completed | Wed, 22 Jun 2022 15:56:23 UTC | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Task | build (f36-candidate, /rpms/coq.git:6a1d4425d8b99ed0281687e6973a4f3f5d0d10b6) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#6a1d4425d8b99ed0281687e6973a4f3f5d0d10b6'}} | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tags |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| RPMs |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Logs | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Changelog | * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 8.15.2-1 - Upgrade to 8.15.2 * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 8.15.1-1 - Version 8.15.1 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 8.15.0-1 - Version 8.15.0 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 8.14.1-4 - OCaml 4.13.1 rebuild to remove package notes * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.14.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-2 - Rebuild for ocaml-lablgtk3 3.1.2 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-1 - Version 8.14.1 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 8.14.0-1 - Version 8.14.0 - Add -core subpackage * Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-5 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-4 - Try to build on s390x with OCaml 4.13 * Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-3 - Rebuild for changed ocamlx(Dynlink) * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.13.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Fri Jun 04 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-1 - Version 8.13.2 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 8.13.1-1 - Version 8.13.1 * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.0-2 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 8.13.0-1 - Version 8.13.0 - Revert to make; dune is unable to build the native compilation version - Install into the metainfo dir instead of the appdata dir * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.12.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 8.12.2-1 - Version 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 8.12.1-1 - Version 8.12.1 - Drop upstreamed sphinx 3 support patch * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 8.12.0-3 - OCaml 4.11.1 rebuild - ExcludeArch s390x (RHBZ#1874879). * Mon Aug 31 2020 Jerry James <loganjerry@gmail.com> - 8.12.0-1 - Version 8.12.0 - Build with dune - Add coqide-server subpackage - Unbundle fonts from the documentation * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.2-5 - OCaml 4.11.0 rebuild * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 8.11.2-4 - Rebuild to fix ocamlx(Dynlink) dependency * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.11.2-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.11.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
