Changelog for ocaml-menhir-20200211-1.fc32.x86_64.rpm :

* Wed Mar 25 2020 Jerry James - 20200211-1- Version 20200211- Dune is now used to build the package- Split the build-time and runtime parts into separate packages
* Thu Feb 27 2020 Richard W.M. Jones - 20190924-9.1- OCaml 4.10.0 final (Fedora 32).
* Wed Feb 26 2020 Richard W.M. Jones - 20190924-9- OCaml 4.10.0 final.- Disable Coq for 4.10.0 build.
* Wed Jan 29 2020 Fedora Release Engineering - 20190924-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Jerry James - 20190924-7- Reenable coq support- Add coq-menhirlib subpackage, without which coq support is rather pointless
* Sun Jan 19 2020 Richard W.M. Jones - 20190924-6- OCaml 4.10.0+beta1 rebuild.
* Sun Jan 19 2020 Richard W.M. Jones - 20190924-5- Disable coq for now.
* Fri Dec 06 2019 Richard W.M. Jones - 20190924-4- Bump release and rebuild.
* Thu Dec 05 2019 Richard W.M. Jones - 20190924-3- Bump release and rebuild.
* Thu Dec 05 2019 Richard W.M. Jones - 20190924-2- OCaml 4.09.0 (final) rebuild.
* Tue Sep 24 2019 Jerry James - 20190924-1- New upstream version- BR coq to get coq_makefile
* Fri Aug 16 2019 Richard W.M. Jones - 20190626-4- OCaml 4.08.1 (final) rebuild.
* Wed Jul 31 2019 Richard W.M. Jones - 20190626-3- OCaml 4.08.1 (rc2) rebuild.
* Thu Jul 25 2019 Fedora Release Engineering - 20190626-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Fri Jul 12 2019 Jerry James - 20190626-1- New upstream version
* Thu Jun 27 2019 Richard W.M. Jones - 20190620-2- OCaml 4.08.0 (final) rebuild.
* Wed Jun 26 2019 Jerry James - 20190620-1- New upstream version
* Tue Jun 18 2019 Jerry James - 20190613-1- New upstream version
* Mon Apr 29 2019 Richard W.M. Jones - 20181113-4- OCaml 4.08.0 (beta 3) rebuild.
* Tue Mar 26 2019 Jerry James - 20181113-3- Add missing R on ocamlfind (bz 1692434)
* Fri Feb 01 2019 Fedora Release Engineering - 20181113-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Wed Nov 14 2018 Jerry James - 20181113-1- New upstream version- New source URL
* Mon Oct 22 2018 Jerry James - 20181006-1- New upstream version- Ship libraries in the main package
* Thu Sep 27 2018 Jerry James - 20180905-1- New upstream version
* Fri Jul 13 2018 Fedora Release Engineering - 20180530-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones - 20180530-3- OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 20180530-2- OCaml 4.07.0-rc1 rebuild.
* Wed Jun 06 2018 Jerry James - 20180530-1- New upstream version