Thu, 05 Dec 2024 02:12:15 UTC | login

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

ID162598
Package Nameocaml-menhir
Version20200211
Release6.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-menhir.git#43d17c1540cead52aeb9a3e8149e3d3a14b22c36
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 failed
Volume DEFAULT
StartedTue, 09 Jun 2020 13:07:37 UTC
CompletedTue, 09 Jun 2020 13:23:03 UTC
Taskbuild (f33, /rpms/ocaml-menhir.git:43d17c1540cead52aeb9a3e8149e3d3a14b22c36)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-menhir.git#43d17c1540cead52aeb9a3e8149e3d3a14b22c36'}}
Tags No tags
RPMs No RPMs
Changelog * Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 20200211-6 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-5 - OCaml 4.11.0+dev2-2020-04-22 rebuild * 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.