Thu, 28 Mar 2024 23:23:55 UTC | login

Information for build ocaml-menhir-20201201-2.fc33

ID191479
Package Nameocaml-menhir
Version20201201
Release2.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-menhir.git#d34ef55d3544403d4fdc40c7deca1537346ebe9e
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
StartedMon, 19 Apr 2021 07:54:55 UTC
CompletedMon, 19 Apr 2021 08:09:52 UTC
Taskbuild (f33, /rpms/ocaml-menhir.git:d34ef55d3544403d4fdc40c7deca1537346ebe9e)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-menhir.git#d34ef55d3544403d4fdc40c7deca1537346ebe9e'}}
Tags No tags
RPMs No RPMs
Changelog * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 20201201-2 - Rebuild for coq 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 20201201-1 - Version 20201201 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200624-3.1 - Bump release and rebuild. * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 20200624-3 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 20200624-2 - OCaml 4.11.0 rebuild * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 20200624-1 - Version 20200624 * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 20200612-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 20200612-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 20200612-1 - Version 20200612 * 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