Thu, 05 Dec 2024 02:36:16 UTC | login

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

ID152213
Package Nameocaml-menhir
Version20200211
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-menhir.git#7b0bed3cda7f1b59009aa5cda1db10c0d7a83fac
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
StartedWed, 08 Apr 2020 21:32:16 UTC
CompletedWed, 08 Apr 2020 21:46:48 UTC
Taskbuild (f33, /rpms/ocaml-menhir.git:7b0bed3cda7f1b59009aa5cda1db10c0d7a83fac)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-menhir.git#7b0bed3cda7f1b59009aa5cda1db10c0d7a83fac'}}
Tags No tags
RPMs No RPMs
Changelog * 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