Menhir 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.
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20231231-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 20231231-5
- OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 20231231-4
- OCaml 5.2.0 for Fedora 41
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20231231-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20231231-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Richard W.M. Jones <rjones@redhat.com> - 20231231-1
- New upstream version 20231231 (RHBZ#2256337)
- Add new menhirCST library, used for --unparsing option.
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 20230608-7
- Bump release and rebuild
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 20230608-6
- OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 20230608-5
- OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 20230608-4
- OCaml 5.1 rebuild for Fedora 40
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20230608-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 20230608-2
- OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 20230608-1
- Version 20230608
- Stop building the coq-menhirlib subpackage
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 20220210-14
- Rebuild for coq 8.17.0
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 20220210-13
- Bump release and rebuild
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 20220210-12
- Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20220210-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 20220210-10
- Rebuild for coq 8.16.1
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 20220210-9
- Rebuild for coq 8.16.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 20220210-8
- Rebuild to fix coq dependency
- Convert License tags to SPDX
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20220210-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 20220210-6
- Do not build the coq-menhirlib package on i686
- Use new OCaml macros