Sat, 04 Apr 2020 22:42:12 UTC

Information for build coq-8.9.1-12.fc32

ID1430601
Package Namecoq
Version8.9.1
Release12.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#7b288f2cfd097541d53e84d418166d8f2462a38d
SummaryProof management system
DescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
Built byjjames
State complete
Volume DEFAULT
StartedWed, 22 Jan 2020 04:48:46 UTC
CompletedWed, 22 Jan 2020 05:28:40 UTC
Taskbuild (rawhide, /rpms/coq.git:7b288f2cfd097541d53e84d418166d8f2462a38d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#7b288f2cfd097541d53e84d418166d8f2462a38d'}}
Tags
f32
RPMs
src
coq-8.9.1-12.fc32.src.rpm (info) (download)
aarch64
coq-8.9.1-12.fc32.aarch64.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.aarch64.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.aarch64.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.aarch64.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.aarch64.rpm (info) (download)
armv7hl
coq-8.9.1-12.fc32.armv7hl.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.armv7hl.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.armv7hl.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.armv7hl.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.armv7hl.rpm (info) (download)
i686
coq-8.9.1-12.fc32.i686.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.i686.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.i686.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.i686.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.i686.rpm (info) (download)
noarch
antlr4-python3-runtime-4.7.2-8.fc32.noarch.rpm (info) (download)
coq-doc-8.9.1-12.fc32.noarch.rpm (info) (download)
ppc64le
coq-8.9.1-12.fc32.ppc64le.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.ppc64le.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.ppc64le.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.ppc64le.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.ppc64le.rpm (info) (download)
s390x
coq-8.9.1-12.fc32.s390x.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.s390x.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.s390x.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.s390x.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.s390x.rpm (info) (download)
x86_64
coq-8.9.1-12.fc32.x86_64.rpm (info) (download)
coq-coqide-8.9.1-12.fc32.x86_64.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-12.fc32.x86_64.rpm (info) (download)
coq-debuginfo-8.9.1-12.fc32.x86_64.rpm (info) (download)
coq-debugsource-8.9.1-12.fc32.x86_64.rpm (info) (download)
Logs
x86_64
build.log
root.log
hw_info.log
state.log
mock_output.log
noarch_rpmdiff.json
ppc64le
build.log
root.log
hw_info.log
state.log
mock_output.log
noarch_rpmdiff.json
aarch64
root.log
state.log
build.log
hw_info.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
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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. * Mon Feb 19 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-2 - Also filter out ocaml(Configwin_types) since the Provides is not generated * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-1 - New upstream release - All patches have been upstreamed; drop them - Switch back to camlp5, now required * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.6.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild