Sun, 28 Apr 2024 17:56:07 UTC | login

Information for build gappalib-coq-1.5.4-1.fc40

ID279570
Package Namegappalib-coq
Version1.5.4
Release1.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappalib-coq.git#a0e3ce165bc687fe6e0b1328bf8fc1fe33c7cc15
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.
Built bydavidlt
State failed
Volume DEFAULT
StartedSun, 07 Jan 2024 13:08:50 UTC
CompletedSun, 07 Jan 2024 14:14:21 UTC
Taskbuild (f40, /rpms/gappalib-coq.git:a0e3ce165bc687fe6e0b1328bf8fc1fe33c7cc15)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#a0e3ce165bc687fe6e0b1328bf8fc1fe33c7cc15'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2 - Rebuild for coq 8.15.1 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1 - Version 1.5.1 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.0-4 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild