SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ocaml-menhirlib-devel-20210419-1.fc34.i686.rpm :

* Tue Jun 08 2021 Jerry James - 20210419-1- Version 20210419
* Wed Feb 24 2021 Jerry James - 20201216-1- Version 20201216- Some applications of menhir require menhirLib.ml, so install it
* Tue Jan 26 2021 Fedora Release Engineering - 20201201-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Wed Dec 23 2020 Jerry James - 20201201-2- Rebuild for coq 8.12.2
* Wed Dec 02 2020 Jerry James - 20201201-1- Version 20201201
* Tue Sep 01 2020 Richard W.M. Jones - 20200624-3- OCaml 4.11.1 rebuild
* Fri Aug 21 2020 Richard W.M. Jones - 20200624-2- OCaml 4.11.0 rebuild
* Thu Aug 06 2020 Jerry James - 20200624-1- Version 20200624
* Sat Aug 01 2020 Fedora Release Engineering - 20200612-3- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering - 20200612-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jun 15 2020 Jerry James - 20200612-1- Version 20200612
* Wed May 20 2020 Jerry James - 20200211-6- Rebuild for coq 8.11.1
* Tue May 05 2020 Richard W.M. Jones - 20200211-5- OCaml 4.11.0+dev2-2020-04-22 rebuild
* Wed Apr 22 2020 Richard W.M. Jones - 20200211-4- OCaml 4.11.0 pre-release attempt 2
* Thu Apr 02 2020 Richard W.M. Jones - 20200211-3- Re-enable Coq bindings after OCaml bootstrap.
* Thu Apr 02 2020 Richard W.M. Jones - 20200211-2- Update all OCaml dependencies for RPM 4.16.
* 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
* 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
 
ICM