- Wed Oct 15 2014 umeabot <umeabot> 1.10-0.20140301Neons.4.mga5
+ Revision: 742058
- Second Mageia 5 Mass Rebuild - Wed Sep 24 2014 malo <malo> 1.10-0.20140301Neons.3.mga5
+ Revision: 723087
- fix auto requires - Tue Sep 16 2014 umeabot <umeabot> 1.10-0.20140301Neons.2.mga5
+ Revision: 679321
- Mageia 5 Mass Rebuild - Fri Sep 5 2014 malo <malo> 1.10-0.20140301Neons.1.mga5
+ Revision: 672224
- add debian patch
- update to Neon - Tue Nov 19 2013 malo <malo> 1.9-0.20130601Fluorine.2.mga4
+ Revision: 551930
- fix requires - Tue Nov 19 2013 malo <malo> 1.9-0.20130601Fluorine.1.mga4
+ Revision: 551925
- fix emacs mode packaging
- add BR ncurses
- spec clean-up after import from Fedora
- add patch from upstream for ocaml-4.01 compatibility
- add patch for new version of make
- imported package frama-c - Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4
- Update to 20130601 bugfix Fluorine release
- Mon Jun 3 2013 Jerry James <loganjerry@gmail.com> - 1.9-3
- Add -fixes patch to fix code generation for inductive definitions
- Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.9-2
- Update to bugfix Fluorine release
- Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.9-1
- Update to Fluorine version
- Merge -devel into the main package (bz 888865) - Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
- Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5
- Rebuild for coq 8.4pl1 and alt-ergo 0.95
- Mon Nov 5 2012 Jerry James <loganjerry@gmail.com> - 1.8-4
- Build with zarith support
- Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-3
- Update the Requires filter even more for Oxygen
- Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-2
- Update the Requires filter for Oxygen
- Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 1.8-1
- Update to Oxygen version
- Tue Sep 11 2012 Jerry James <loganjerry@gmail.com> - 1.7-9
- Disable dangerous code in src/type/type.ml that leads to segfaults.
- Mon Aug 27 2012 Jerry James <loganjerry@gmail.com> - 1.7-8
- Use a vastly simpler patch for OCaml 4 that fixes the native build.
- Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 1.7-7
- Shipping the bytecode version works better if it isn't stripped.
- Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 1.7-6
- Use upstream's version of the ocamlgraph patch.
- Ship the bytecode binaries until the native breakage is diagnosed. - Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.7-5
- Rebuild for OCaml 4.00.0 official.
- Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
- Mon Jan 9 2012 Jerry James <loganjerry@gmail.com> - 1.7-3
- Rebuild for OCaml 3.12.1
- Tue Nov 8 2011 Jerry James <loganjerry@gmail.com> - 1.7-2
- Rebuild to eliminate libpng dependency
- Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.7-1
- Update to Nitrogen version