Wed, 01 Feb 2023 11:43:54 UTC

Information for build coq-8.13.2-3.fc35

ID1811436
Package Namecoq
Version8.13.2
Release3.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#592e87950cd5aebb9e9f005a45a9d56fe5ddb773
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, 30 Jul 2021 02:54:48 UTC
CompletedFri, 30 Jul 2021 03:51:10 UTC
Taskbuild (rawhide, /rpms/coq.git:592e87950cd5aebb9e9f005a45a9d56fe5ddb773)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#592e87950cd5aebb9e9f005a45a9d56fe5ddb773'}}
Tags
f35
f35-Beta
RPMs
src
coq-8.13.2-3.fc35.src.rpm (info) (download)
aarch64
coq-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-coqide-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-coqide-server-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-coqide-debuginfo-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-coqide-server-debuginfo-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-debuginfo-8.13.2-3.fc35.aarch64.rpm (info) (download)
coq-debugsource-8.13.2-3.fc35.aarch64.rpm (info) (download)
armv7hl
coq-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-coqide-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-coqide-server-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-coqide-debuginfo-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-coqide-server-debuginfo-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-debuginfo-8.13.2-3.fc35.armv7hl.rpm (info) (download)
coq-debugsource-8.13.2-3.fc35.armv7hl.rpm (info) (download)
i686
coq-8.13.2-3.fc35.i686.rpm (info) (download)
coq-coqide-8.13.2-3.fc35.i686.rpm (info) (download)
coq-coqide-server-8.13.2-3.fc35.i686.rpm (info) (download)
coq-coqide-debuginfo-8.13.2-3.fc35.i686.rpm (info) (download)
coq-coqide-server-debuginfo-8.13.2-3.fc35.i686.rpm (info) (download)
coq-debuginfo-8.13.2-3.fc35.i686.rpm (info) (download)
coq-debugsource-8.13.2-3.fc35.i686.rpm (info) (download)
noarch
coq-doc-8.13.2-3.fc35.noarch.rpm (info) (download)
ppc64le
coq-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-coqide-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-coqide-server-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-coqide-debuginfo-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-coqide-server-debuginfo-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-debuginfo-8.13.2-3.fc35.ppc64le.rpm (info) (download)
coq-debugsource-8.13.2-3.fc35.ppc64le.rpm (info) (download)
x86_64
coq-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-coqide-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-coqide-server-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-coqide-debuginfo-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-coqide-server-debuginfo-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-debuginfo-8.13.2-3.fc35.x86_64.rpm (info) (download)
coq-debugsource-8.13.2-3.fc35.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-3 - Rebuild for changed ocamlx(Dynlink) * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.13.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Fri Jun 04 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-1 - Version 8.13.2 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 8.13.1-1 - Version 8.13.1 * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.0-2 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 8.13.0-1 - Version 8.13.0 - Revert to make; dune is unable to build the native compilation version - Install into the metainfo dir instead of the appdata dir * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.12.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 8.12.2-1 - Version 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 8.12.1-1 - Version 8.12.1 - Drop upstreamed sphinx 3 support patch * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 8.12.0-3 - OCaml 4.11.1 rebuild - ExcludeArch s390x (RHBZ#1874879). * Mon Aug 31 2020 Jerry James <loganjerry@gmail.com> - 8.12.0-1 - Version 8.12.0 - Build with dune - Add coqide-server subpackage - Unbundle fonts from the documentation * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.2-5 - OCaml 4.11.0 rebuild * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 8.11.2-4 - Rebuild to fix ocamlx(Dynlink) dependency * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.11.2-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.11.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 8.11.2-1 - Version 8.11.2 * Tue May 19 2020 Jerry James <loganjerry@gmail.com> - 8.11.1-1 - Version 8.11.1 - Drop upstreamed 0001-Add-support-for-OCaml-4.10.patch * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.0-5 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.0-4 - OCaml 4.11.0 pre-release attempt 2 * Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 8.11.0-3 - Add 0002-Sphinx-3-support.patch for sphinx 3 support (bz 1823529) * Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.0-3 - Update all OCaml dependencies for RPM 4.16. * Fri Mar 27 2020 Jerry James <loganjerry@gmail.com> - 8.11.0-2 - Update the ocaml 4.10 patch to upstream's version * 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.