Fri, 29 Nov 2024 18:28:19 UTC | login

Information for build gappalib-coq-1.4.2-1.fc31

ID124835
Package Namegappalib-coq
Version1.4.2
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappalib-coq.git#d14242162314c04ae60de8de8a49cb436d9ac27a
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
StartedSat, 21 Sep 2019 18:31:39 UTC
CompletedSat, 21 Sep 2019 19:07:52 UTC
Taskbuild (f31-candidate, /rpms/gappalib-coq.git:d14242162314c04ae60de8de8a49cb436d9ac27a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#d14242162314c04ae60de8de8a49cb436d9ac27a'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Aug 01 2019 Jerry James <loganjerry@gmail.com> - 1.4.2-1 - New upstream release * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - New upstream release - Add a check script * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 1.4.0-1 - New upstream release * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-3 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-2 - OCaml 4.07.0-rc1 rebuild. * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 1.3.3-1 - New upstream release - Build with camlp5 since coq now requires it instead of camlp4 - Drop now unneeded patch for building with camlp4 - Drop upstreamed safe-string patch * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.2-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3.2-11 - OCaml 4.06.0 rebuild. * Thu Oct 05 2017 Jerry James <loganjerry@gmail.com> - 1.3.2-10 - Rebuild for flocq 2.6.0