Fri, 02 Dec 2022 08:38:55 UTC

Information for build gappalib-coq-1.5.1-3.fc36

ID1991156
Package Namegappalib-coq
Version1.5.1
Release3.fc36
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappalib-coq.git#73f555b1d46901fd5c4138a4de8633232c3cf871
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 byjjames
State complete
Volume DEFAULT
StartedWed, 22 Jun 2022 16:42:49 UTC
CompletedWed, 22 Jun 2022 16:48:11 UTC
Taskbuild (f36-candidate, /rpms/gappalib-coq.git:73f555b1d46901fd5c4138a4de8633232c3cf871)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#73f555b1d46901fd5c4138a4de8633232c3cf871'}}
Tags
f36-updates
RPMs
src
gappalib-coq-1.5.1-3.fc36.src.rpm (info) (download)
aarch64
gappalib-coq-1.5.1-3.fc36.aarch64.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.aarch64.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.aarch64.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.aarch64.rpm (info) (download)
armv7hl
gappalib-coq-1.5.1-3.fc36.armv7hl.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.armv7hl.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.armv7hl.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.armv7hl.rpm (info) (download)
i686
gappalib-coq-1.5.1-3.fc36.i686.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.i686.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.i686.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.i686.rpm (info) (download)
ppc64le
gappalib-coq-1.5.1-3.fc36.ppc64le.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.ppc64le.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.ppc64le.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.ppc64le.rpm (info) (download)
s390x
gappalib-coq-1.5.1-3.fc36.s390x.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.s390x.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.s390x.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.s390x.rpm (info) (download)
x86_64
gappalib-coq-1.5.1-3.fc36.x86_64.rpm (info) (download)
gappalib-coq-source-1.5.1-3.fc36.x86_64.rpm (info) (download)
gappalib-coq-debuginfo-1.5.1-3.fc36.x86_64.rpm (info) (download)
gappalib-coq-debugsource-1.5.1-3.fc36.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Wed Jun 22 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3 - Rebuild for coq 8.15.2 * 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 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-2 - Rebuild for coq 8.14.1 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Version 1.5.0 * Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-11 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-10 - Try to build on s390x with OCaml 4.13 * Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-9 - Rebuild for rebuilt coq * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-7 - Rebuild for flocq 3.4.2 * Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-6 - Rebuild for coq 8.13.2 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-5 - Rebuild for coq 8.13.1 - Build with ocaml-zarith instead of ocaml-num * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3 - Rebuild for coq 8.13.0 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jan 04 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-1 - Version 1.4.6 * Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 1.4.4-9 - Rebuild for flocq 3.4.0 * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-8 - Rebuild for coq 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-7 - Rebuild for coq 8.12.1 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-6 - Rebuild due to flocq rebuild - The source subpackage cannot be noarch due to its install location * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.4.4-5 - OCaml 4.11.1 rebuild * Tue Sep 01 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-4 - Rebuild for coq 8.12.0 - Set BuildArch to noarch for the source subpackage * Mon Aug 24 2020 Richard W.M. Jones <rjones@redhat.com> - 1.4.4-4 - OCaml 4.11.0 rebuild * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-3 - Rebuild to fix OCaml dependencies * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild