Sun, 12 Jul 2020 13:52:46 UTC

Information for build coq-8.11.0-1.fc32

ID1482698
Package Namecoq
Version8.11.0
Release1.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#628588758fcc46eb0a62e5e242ffc24c2d05fc2d
SummaryProof management system
DescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
Built byjjames
State complete
Volume DEFAULT
StartedFri, 27 Mar 2020 19:52:04 UTC
CompletedFri, 27 Mar 2020 20:43:06 UTC
Taskbuild (f32-candidate, /rpms/coq.git:628588758fcc46eb0a62e5e242ffc24c2d05fc2d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#628588758fcc46eb0a62e5e242ffc24c2d05fc2d'}}
Tags
f32
RPMs
src
coq-8.11.0-1.fc32.src.rpm (info) (download)
aarch64
coq-8.11.0-1.fc32.aarch64.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.aarch64.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.aarch64.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.aarch64.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.aarch64.rpm (info) (download)
armv7hl
coq-8.11.0-1.fc32.armv7hl.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.armv7hl.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.armv7hl.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.armv7hl.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.armv7hl.rpm (info) (download)
i686
coq-8.11.0-1.fc32.i686.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.i686.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.i686.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.i686.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.i686.rpm (info) (download)
noarch
coq-doc-8.11.0-1.fc32.noarch.rpm (info) (download)
ppc64le
coq-8.11.0-1.fc32.ppc64le.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.ppc64le.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.ppc64le.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.ppc64le.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.ppc64le.rpm (info) (download)
s390x
coq-8.11.0-1.fc32.s390x.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.s390x.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.s390x.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.s390x.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.s390x.rpm (info) (download)
x86_64
coq-8.11.0-1.fc32.x86_64.rpm (info) (download)
coq-coqide-8.11.0-1.fc32.x86_64.rpm (info) (download)
coq-coqide-debuginfo-8.11.0-1.fc32.x86_64.rpm (info) (download)
coq-debuginfo-8.11.0-1.fc32.x86_64.rpm (info) (download)
coq-debugsource-8.11.0-1.fc32.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
build.log
state.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
hw_info.log
root.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
armv7hl
build.log
root.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 8.11.0-1 - Version 8.11.0 - Drop upstreamed 0002-fix-signal-polling-for-OCaml-4.10.patch - Stop bundling the python3 runtime for antlr4 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.9.1-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Tue Jan 21 2020 Jerry James <loganjerry@gmail.com> - 8.9.1-12 - Add 0002-fix-signal-polling-for-OCaml-4.10.patch * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-12 - OCaml 4.10.0+beta1 rebuild. * Wed Jan 15 2020 Jerry James <loganjerry@gmail.com> - 8.9.1-11 - Move coqidetop into the main package (bz 1791377) * Fri Jan 10 2020 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-10 - OCaml 4.09.0 for riscv64 * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-9 - OCaml 4.09.0 (final) rebuild. - Bump antlr4rel. * Tue Sep 03 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-6 - Fix the release numbers * Mon Aug 19 2019 Miro HronĨok <mhroncok@redhat.com> - 8.9.1-5 - Rebuilt for Python 3.8 * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-3 - OCaml 4.08.1 (rc2) rebuild. * Mon Jul 29 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-2 - Bump Epoch on antlr4-python3-runtime due to decrease in version number - Work around pr_dump.cmo snafu with new ocaml-camlp5 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.9.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-1 - New upstream release - Emacs support has been dropped upstream; obsolete the -emacs subpackage - Recommend ProofGeneral - Install more icon sizes - Bring the config dir back for system-wide configuration - Fix the antlr4-python3-runtime version * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.8.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 8.8.2-1 - New upstream release - Bundle the python3 runtime for antlr4 4.7.2 due to inaction on bz 1595974 and bz 1599015 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.7.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-6 - OCaml 4.07.0 (final) rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-5 - Bump release and rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-4 - Bump release and rebuild. * Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-3 - OCaml 4.07.0-rc1 rebuild.