- Mon Mar 26 2012 Andrey Bondrov <abondrov@mandriva.org> 6.05-1
+ Revision: 786980
- New version 6.05 - Wed Feb 8 2012 Andrey Bondrov <abondrov@mandriva.org> 6.03-1
+ Revision: 771856
- New version 6.03, fix license (GPL -> BSD), drop RPM4 junk - Mon Jul 18 2011 Guillaume Rousse <guillomovitch@mandriva.org> 6.02.3-1
+ Revision: 690440
- update to new version 6.02.3 - Tue Mar 15 2011 Stéphane Téletchéa <steletch@mandriva.org> 6.02.1-1
+ Revision: 645052
- update to new version 6.02.1 - Mon Dec 20 2010 Guillaume Rousse <guillomovitch@mandriva.org> 6.02.0-1mdv2011.0
+ Revision: 623295
- downgrade version, as 6.02.1 breaks coq 8.3 build - Mon Dec 20 2010 Guillaume Rousse <guillomovitch@mandriva.org> 6.02.1-1mdv2011.0
+ Revision: 623279
- update to new version 6.02.1 - Thu Oct 7 2010 Funda Wang <fwang@mandriva.org> 5.15-1mdv2011.0
+ Revision: 583992
- update to new version 5.15
- rebuild - Thu Jul 15 2010 Guillaume Rousse <guillomovitch@mandriva.org> 5.14-1mdv2011.0
+ Revision: 553838
- new version - Mon Apr 12 2010 Guillaume Rousse <guillomovitch@mandriva.org> 5.13-1mdv2010.1
+ Revision: 533671
- new version, drop useless patch0 - Sat Feb 6 2010 Guillaume Rousse <guillomovitch@mandriva.org> 5.12-3mdv2010.1
+ Revision: 501368
- rebuild for latest ocaml, using debian patches - Sat Jun 27 2009 Guillaume Rousse <guillomovitch@mandriva.org> 5.12-2mdv2010.0
+ Revision: 389810
- rebuild - Sun May 24 2009 Guillaume Rousse <guillomovitch@mandriva.org> 5.12-1mdv2010.0
+ Revision: 379212
- update to new version 5.12