SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ocaml-menhir-doc-20200624-0.1.58.rabe.noarch.rpm :

* Wed Sep 02 2020 Richard W.M. Jones - 20200624-3.1- Bump release and rebuild.
* 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
* 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
* Thu Feb 08 2018 Fedora Release Engineering - 20171222-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sat Dec 23 2017 Jerry James - 20171222-1- New upstream version
* Sat Dec 09 2017 Jerry James - 20171206-1- New upstream version
* Wed Nov 08 2017 Richard W.M. Jones - 20170712-5- OCaml 4.06.0 rebuild.
* Mon Aug 07 2017 Richard W.M. Jones - 20170712-4- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering - 20170712-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering - 20170712-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Jul 15 2017 Jerry James - 20170712-1- New upstream version- Build the manual from LaTeX sources
* Mon Jun 26 2017 Richard W.M. Jones - 20170607-2- OCaml 4.04.2 rebuild.
* Sat Jun 10 2017 Jerry James - 20170607-1- New upstream version
* Fri May 19 2017 Jerry James - 20170509-1- New upstream version- License change: QPL with exceptions to GPLv2
* Fri May 12 2017 Richard W.M. Jones - 20170101-3- OCaml 4.04.1 rebuild.
* Sat Feb 11 2017 Fedora Release Engineering - 20170101-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Mon Jan 02 2017 Jerry James - 20170101-1- New upstream version
* Tue Nov 15 2016 Jerry James - 20161115-1- New upstream version
* Mon Nov 14 2016 Jerry James - 20161114-1- New upstream version
* Sat Nov 05 2016 Richard W.M. Jones - 20160825-2- Rebuild for OCaml 4.04.0.- Add explicit dep on ocamlbuild.
* Sat Aug 27 2016 Jerry James - 20160825-1- New upstream version
* Mon Jul 04 2016 Jerry James - 20160526-1- New upstream version
* Thu May 12 2016 Jerry James - 20160504-1- New upstream version
* Thu Mar 03 2016 Jerry James - 20160303-1- New upstream version
* Thu Feb 04 2016 Fedora Release Engineering - 20151112-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Nov 12 2015 Jerry James - 20151112-1- New upstream version
* Mon Oct 26 2015 Jerry James - 20151026-1- New upstream version
* Sat Oct 24 2015 Jerry James - 20151023-1- New upstream version
* Wed Oct 14 2015 Jerry James - 20151012-1- New upstream version
* Fri Oct 09 2015 Jerry James - 20151005-1- New upstream version
* Sat Sep 19 2015 Jerry James - 20150914-1- New upstream version
* Tue Jul 28 2015 Richard W.M. Jones - 20141215-5- OCaml 4.02.3 rebuild.
* Wed Jun 24 2015 Richard W.M. Jones - 20141215-4- ocaml-4.02.2 final rebuild.
* Wed Jun 17 2015 Richard W.M. Jones - 20141215-3- ocaml-4.02.2 rebuild.
* Tue Feb 17 2015 Richard W.M. Jones - 20141215-2- ocaml-4.02.1 rebuild.
* Mon Jan 05 2015 Jerry James - 20141215-1- New upstream version
* Sun Aug 31 2014 Richard W.M. Jones - 20140422-7- ocaml-4.02.0 final rebuild.
* Sat Aug 23 2014 Richard W.M. Jones - 20140422-6- ocaml-4.02.0+rc1 rebuild.
* Sun Aug 17 2014 Fedora Release Engineering - 20140422-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Aug 04 2014 Jerry James - 20140422-4- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.- Fix license handling
* Mon Jul 21 2014 Jerry James - 20140422-3- OCaml 4.02.0 beta rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 20140422-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Wed Apr 30 2014 Jerry James - 20140422-1- New upstream version- Fix standard.mly character encoding
* Fri Apr 18 2014 Jerry James - 20130911-3- Remove ocaml_arches macro (bz 1087794)
* Mon Sep 16 2013 Jerry James - 20130911-2- Rebuild for OCaml 4.01.0
* Thu Sep 12 2013 Jerry James - 20130911-1- New upstream version- Allow debuginfo generation since ocaml 4 supports it
* Sat Aug 03 2013 Fedora Release Engineering - 20130116-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Thu Feb 14 2013 Fedora Release Engineering - 20130116-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 21 2013 Jerry James - 20130116-1- New upstream version
* Wed Oct 17 2012 Jerry James - 20120123-5- Rebuild for OCaml 4.00.1.
* Fri Jul 20 2012 Fedora Release Engineering - 20120123-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jun 11 2012 Richard W.M. Jones - 20120123-3- Rebuild for OCaml 4.00.0.
* Fri Jun 08 2012 Jerry James - 20120123-2- Rebuild for OCaml 4.00.0
* Mon Jan 23 2012 Jerry James - 20120123-1- New upstream version
* Fri Jan 06 2012 Jerry James - 20111019-3- Rebuild for ocaml 3.12.1
* Mon Dec 19 2011 Jerry James - 20111019-2- Change the subpackages to match Debian- Add patch to allow building demos outside of the menhir source tree
* Wed Nov 09 2011 Jerry James - 20111019-1- Initial RPM
 
ICM