Changelog for coq-8.2-2mdv2010.0.i586.rpm :
Tue Jun 30 00:00:00 2009 Guillaume Rousse 8.2-2mdv2010.0
+ Revision: 390561
- rebuild for latest ocaml

Wed Feb 18 23:00:00 2009 Guillaume Rousse 8.2-1mdv2009.1
+ Revision: 342724
- final 8.2 version

Sun Feb 15 23:00:00 2009 Guillaume Rousse 8.2-0.rc2.1mdv2009.1
+ Revision: 340578
- new release

Mon Aug 18 00:00:00 2008 Guillaume Rousse 8.1pl3-1mdv2009.0
+ Revision: 272986
- new version

+ Thierry Vignaud
- rebuild
- kill re-definition of %buildroot on Pixel\'s request

+ Olivier Blin
- restore BuildRoot

Sat Sep 29 00:00:00 2007 Guillaume Rousse 8.1pl1-1mdv2008.0
+ Revision: 93431
- new version

+ Pascal Terjan
- Rebuild to sync with x86_64
- Import coq

Wed Aug 30 00:00:00 2006 Guillaume Rousse 8.0pl3-5mdv2007.0
- Rebuild

Tue Mar 28 00:00:00 2006 Guillaume Rousse 8.0pl3-4mdk
- buildrequires

Fri Mar 17 23:00:00 2006 Guillaume Rousse 8.0pl3-3mdk
- disable stripping, as it breaks binaries

Wed Mar 15 23:00:00 2006 Guillaume Rousse 8.0pl3-2mdk
- add patch for ocaml 3.0.9
- buildrequires

Thu Mar 2 23:00:00 2006 Guillaume Rousse 8.0pl3-1mdk
- first mdk release