Sun, 01 Dec 2024 21:11:26 UTC | login

Information for build gappalib-coq-1.5.5-2.fc41

ID308372
Package Namegappalib-coq
Version1.5.5
Release2.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappalib-coq.git#59c62bda168c5b0f877d28f62a132dff346a3cb6
SummaryCoq support library for gappa
DescriptionThis support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
https://gitlab.inria.fr/gappa/coq
Built bydavidlt
State failed
Volume DEFAULT
StartedTue, 04 Jun 2024 13:53:11 UTC
CompletedTue, 04 Jun 2024 14:47:17 UTC
Taskbuild (f41, /rpms/gappalib-coq.git:59c62bda168c5b0f877d28f62a132dff346a3cb6)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#59c62bda168c5b0f877d28f62a132dff346a3cb6'}}
Tags No tags
RPMs No RPMs
Changelog * Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 1.5.5-2 - OCaml 5.2.0 for Fedora 41 * Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 1.5.5-1 - Version 1.5.5 * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.5.4-4 - Rebuild for flocq 4.1.4 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.5.4-1 - Version 1.5.4 * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.3-8 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.3-7 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.3-6 - OCaml 5.1 rebuild for Fedora 40 * Tue Sep 12 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-5 - Rebuild for coq 8.18.0 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-4 - Rebuild for ocaml-zarith 1.13 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-2 - OCaml 5.0.0 rebuild * Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-1 - Version 1.5.3 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.2-7 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-5 - Rebuild for coq 8.16.1 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-4 - Rebuild for coq 8.16.0 * Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-3 - Rebuild to fix coq dependency - Change license to LGPL-3.0-or-later * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-1 - Version 1.5.2 * Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3 - Remove i686 support - Use new OCaml macros * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-3 - OCaml 4.14.0 rebuild