Mon, 14 Jun 2021 06:30:51 UTC

Information for build gappalib-coq-1.4.6-4.fc34

ID1720752
Package Namegappalib-coq
Version1.4.6
Release4.fc34
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappalib-coq.git#dd9db5a078ce9f7d94eeba43cf3982f5302621e5
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
StartedMon, 08 Mar 2021 20:18:54 UTC
CompletedMon, 08 Mar 2021 20:23:58 UTC
Taskbuild (f34-build-side-38374, /rpms/gappalib-coq.git:dd9db5a078ce9f7d94eeba43cf3982f5302621e5)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#dd9db5a078ce9f7d94eeba43cf3982f5302621e5'}}
Tags
f34
f34-updates-testing
RPMs
src
gappalib-coq-1.4.6-4.fc34.src.rpm (info) (download)
aarch64
gappalib-coq-1.4.6-4.fc34.aarch64.rpm (info) (download)
gappalib-coq-source-1.4.6-4.fc34.aarch64.rpm (info) (download)
gappalib-coq-debuginfo-1.4.6-4.fc34.aarch64.rpm (info) (download)
gappalib-coq-debugsource-1.4.6-4.fc34.aarch64.rpm (info) (download)
armv7hl
gappalib-coq-1.4.6-4.fc34.armv7hl.rpm (info) (download)
gappalib-coq-source-1.4.6-4.fc34.armv7hl.rpm (info) (download)
gappalib-coq-debuginfo-1.4.6-4.fc34.armv7hl.rpm (info) (download)
gappalib-coq-debugsource-1.4.6-4.fc34.armv7hl.rpm (info) (download)
i686
gappalib-coq-1.4.6-4.fc34.i686.rpm (info) (download)
gappalib-coq-source-1.4.6-4.fc34.i686.rpm (info) (download)
gappalib-coq-debuginfo-1.4.6-4.fc34.i686.rpm (info) (download)
gappalib-coq-debugsource-1.4.6-4.fc34.i686.rpm (info) (download)
ppc64le
gappalib-coq-1.4.6-4.fc34.ppc64le.rpm (info) (download)
gappalib-coq-source-1.4.6-4.fc34.ppc64le.rpm (info) (download)
gappalib-coq-debuginfo-1.4.6-4.fc34.ppc64le.rpm (info) (download)
gappalib-coq-debugsource-1.4.6-4.fc34.ppc64le.rpm (info) (download)
x86_64
gappalib-coq-1.4.6-4.fc34.x86_64.rpm (info) (download)
gappalib-coq-source-1.4.6-4.fc34.x86_64.rpm (info) (download)
gappalib-coq-debuginfo-1.4.6-4.fc34.x86_64.rpm (info) (download)
gappalib-coq-debugsource-1.4.6-4.fc34.x86_64.rpm (info) (download)
Logs
armv7hl
root.log
hw_info.log
build.log
state.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
Changelog * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-4 - Rebuild for coq 8.13.1 - Build with ocaml-zarith instead of ocaml-num * 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 * Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-1 - Version 1.4.4 * Sat Jun 13 2020 Jerry James <loganjerry@gmail.com> - 1.4.3-4 - Rebuild for flocq 3.3.1 * Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 1.4.3-3 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 1.4.3-2 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Wed Apr 08 2020 Jerry James <loganjerry@gmail.com> - 1.4.3-1 - Version 1.4.3 - Drop -coq811 patch in favor of upstream's solution * Mon Mar 30 2020 Jerry James <loganjerry@gmail.com> - 1.4.2-6 - Add -coq811 patch to fix the build with coq 8.11 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 1.4.2-4 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.4.2-3 - OCaml 4.09.0 (final) rebuild. * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 1.4.2-2 - OCaml 4.08.1 (final) rebuild. * 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