RPM Search

Changelog for why3-xemacs-1.3.1-6.fc32.noarch.rpm :

* Mon Jun 15 2020 Jerry James - 1.3.1-6- Rebuild for coq 8.11.2- Build the coq files with the native compiler when possible
* Wed May 20 2020 Jerry James - 1.3.1-5- Rebuild for coq 8.11.1
* Sun Apr 12 2020 Jerry James - 1.3.1-4- Make the dependencies on ocaml-num and ocaml-zip explicit (bz 1795083)
* Wed Apr 08 2020 Jerry James - 1.3.1-3- Rebuild for flocq 3.2.1- Do not build with mlmpfr; symbols clash with mlgmpidl, causing frama-c to fail to start- Obsolete the why2 packages
* Sat Mar 28 2020 Jerry James - 1.3.1-2- Remove useless BRs and Rs (bz 1817878)
* Wed Mar 25 2020 Jerry James - 1.3.1-1- Version 1.3.1
* Fri Jan 31 2020 Fedora Release Engineering - 1.2.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Jerry James - 1.2.1-3- OCaml 4.10.0+beta1 rebuild.
* Fri Dec 06 2019 Richard W.M. Jones - 1.2.1-2- OCaml 4.09.0 (final) rebuild.
* Tue Oct 29 2019 Jerry James - 1.2.1-1- New upstream release- Add -proofgeneral subpackage- Add desktop and AppData files
* Fri Oct 11 2019 Jerry James - 1.2.0-6- Rebuild for ocaml-menhir 20190924
* Fri Sep 06 2019 Jerry James - 1.2.0-5- Rebuild for ocaml-zarith 1.9
* Thu Aug 01 2019 Jerry James - 1.2.0-4- Also install the library, for consumption by frama-c
* Thu Aug 01 2019 Jerry James - 1.2.0-3- Rebuild for flocq 3.2.0
* Sat Jul 27 2019 Fedora Release Engineering - 1.2.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James - 1.2.0-1- New upstream release
* Sun Feb 03 2019 Fedora Release Engineering - 1.1.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James - 1.1.1-1- New upstream release
* Sat Jul 14 2018 Fedora Release Engineering - 0.88.3-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Thu Jul 12 2018 Richard W.M. Jones - 0.88.3-4- OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-3- Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-2- OCaml 4.07.0-rc1 rebuild.