Fri, 29 Mar 2024 12:02:57 UTC | login

Information for build ocaml-menhir-20201201-3.fc33.rvre2

ID195399
Package Nameocaml-menhir
Version20201201
Release3.fc33.rvre2
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-menhir.git#9b0ba75aa1e689e249a3b1c2a8540d43163f3264
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
StartedSun, 25 Apr 2021 15:09:42 UTC
CompletedSun, 25 Apr 2021 15:19:01 UTC
Taskbuild (f33, /rpms/ocaml-menhir.git:9b0ba75aa1e689e249a3b1c2a8540d43163f3264)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-menhir.git#9b0ba75aa1e689e249a3b1c2a8540d43163f3264'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 20201201-3.rvre2 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 20201201-3.rvre1 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 20201201-3.rvre0 - Rebuilt for Fedora RISCV, no changes * Wed Apr 14 2021 Jerry James <loganjerry@gmail.com> - 20201201-3 - Some applications of menhir require menhirLib.ml, so install it * 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.