Sat, 04 May 2024 12:57:16 UTC | login

Information for build ocaml-menhir-20200211-4.fc33

ID156178
Package Nameocaml-menhir
Version20200211
Release4.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-menhir.git#13ab35ba5d8344e7e79fa1cc42a290b15acaba99
SummaryLR(1) parser generator for OCaml
DescriptionMenhir is a LR(1) parser generator for the Objective Caml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by François Pottier and Yann Régis-Gianas.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 30 Apr 2020 07:58:05 UTC
CompletedThu, 30 Apr 2020 08:47:43 UTC
Taskbuild (f33, /rpms/ocaml-menhir.git:13ab35ba5d8344e7e79fa1cc42a290b15acaba99)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-menhir.git#13ab35ba5d8344e7e79fa1cc42a290b15acaba99'}}
Tags
f33
f37
f38
f39
f40
RPMs
src
ocaml-menhir-20200211-4.fc33.src.rpm (info) (download)
noarch
ocaml-menhir-doc-20200211-4.fc33.noarch.rpm (info) (download)
riscv64
ocaml-menhir-20200211-4.fc33.riscv64.rpm (info) (download)
ocaml-menhirlib-20200211-4.fc33.riscv64.rpm (info) (download)
ocaml-menhirlib-devel-20200211-4.fc33.riscv64.rpm (info) (download)
ocaml-menhir-debuginfo-20200211-4.fc33.riscv64.rpm (info) (download)
ocaml-menhir-debugsource-20200211-4.fc33.riscv64.rpm (info) (download)
ocaml-menhirlib-debuginfo-20200211-4.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
root.log
state.log
Changelog * Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-4 - OCaml 4.11.0 pre-release attempt 2 * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-3 - Re-enable Coq bindings after OCaml bootstrap. * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-2 - Update all OCaml dependencies for RPM 4.16. * Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 20200211-1 - Version 20200211 - Dune is now used to build the package - Split the build-time and runtime parts into separate packages * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 20190924-9 - OCaml 4.10.0 final. - Disable Coq for 4.10.0 build. * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 20190924-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 20190924-7 - Reenable coq support - Add coq-menhirlib subpackage, without which coq support is rather pointless * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 20190924-6 - OCaml 4.10.0+beta1 rebuild. * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 20190924-5 - Disable coq for now. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 20190924-4 - Bump release and rebuild. * Thu Dec 05 2019 Richard W.M. Jones <rjones@redhat.com> - 20190924-3 - Bump release and rebuild. * Thu Dec 05 2019 Richard W.M. Jones <rjones@redhat.com> - 20190924-2 - OCaml 4.09.0 (final) rebuild. * Tue Sep 24 2019 Jerry James <loganjerry@gmail.com> - 20190924-1 - New upstream version - BR coq to get coq_makefile * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 20190626-4 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 20190626-3 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 20190626-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Jul 12 2019 Jerry James <loganjerry@gmail.com> - 20190626-1 - New upstream version * Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 20190620-2 - OCaml 4.08.0 (final) rebuild. * Wed Jun 26 2019 Jerry James <loganjerry@gmail.com> - 20190620-1 - New upstream version * Tue Jun 18 2019 Jerry James <loganjerry@gmail.com> - 20190613-1 - New upstream version * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 20181113-4 - OCaml 4.08.0 (beta 3) rebuild. * Tue Mar 26 2019 Jerry James <loganjerry@gmail.com> - 20181113-3 - Add missing R on ocamlfind (bz 1692434) * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 20181113-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Nov 14 2018 Jerry James <loganjerry@gmail.com> - 20181113-1 - New upstream version - New source URL * Mon Oct 22 2018 Jerry James <loganjerry@gmail.com> - 20181006-1 - New upstream version - Ship libraries in the main package * Thu Sep 27 2018 Jerry James <loganjerry@gmail.com> - 20180905-1 - New upstream version * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20180530-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 20180530-3 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 20180530-2 - OCaml 4.07.0-rc1 rebuild. * Wed Jun 06 2018 Jerry James <loganjerry@gmail.com> - 20180530-1 - New upstream version