SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ocaml-alt-ergo-devel-2.2.0-1.fc32.i686.rpm :

* Fri Jun 19 2020 Jerry James - 2.2.0-1- Version 2.2.0- Drop upstreamed -newline patch
* Wed Apr 08 2020 Jerry James - 2.0.0-11- Filter out Requires for private interfaces we do not Provide
* Tue Mar 24 2020 Jerry James - 2.0.0-10- Rebuild for ocaml-menhir 20200211
* Fri Feb 28 2020 Richard W.M. Jones - 2.0.0-9.1- OCaml 4.10.0 final (Fedora 32).
* Wed Feb 26 2020 Richard W.M. Jones - 2.0.0-9- OCaml 4.10.0 final.
* Tue Jan 28 2020 Fedora Release Engineering - 2.0.0-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Sun Jan 19 2020 Richard W.M. Jones - 2.0.0-7- OCaml 4.10.0+beta1 rebuild.
* Fri Dec 06 2019 Richard W.M. Jones - 2.0.0-6- OCaml 4.09.0 (final) rebuild.
* Fri Sep 06 2019 Jerry James - 2.0.0-5- Rebuild for ocaml-zarith 1.9
* Fri Aug 16 2019 Richard W.M. Jones - 2.0.0-4- OCaml 4.08.1 (final) rebuild.
* Wed Jul 31 2019 Richard W.M. Jones - 2.0.0-3- OCaml 4.08.1 (rc2) rebuild.
* Wed Jul 24 2019 Fedora Release Engineering - 2.0.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James - 2.0.0-1- Update to version 2.0.0- Add -newline patch to fix FTBFS- Add a 256x256 icon
* Thu Jan 31 2019 Fedora Release Engineering - 1.30-16- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Thu Jul 12 2018 Fedora Release Engineering - 1.30-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones - 1.30-14- OCaml 4.07.0 (final) rebuild.
 
ICM