Changelog for coq-8.3pl3-1-mdv2011.0.i586.rpm :

* Wed Feb 08 2012 Andrey Bondrov 8.3pl3-1mdv2011.0+ Revision: 772000- New version 8.3pl3, update BuildRequires and build options
* Mon Jul 18 2011 Guillaume Rousse 8.3pl2-1+ Revision: 690589- new version
* Mon Dec 20 2010 Guillaume Rousse 8.3-3mdv2011.0+ Revision: 623284- new version + Oden Eriksson - rebuild
* Wed Feb 10 2010 Guillaume Rousse 8.2pl1-2mdv2010.1+ Revision: 503738- rebuild- new version
* Mon Jun 29 2009 Guillaume Rousse 8.2-2mdv2010.0+ Revision: 390561- rebuild for latest ocaml
* Wed Feb 18 2009 Guillaume Rousse 8.2-1mdv2009.1+ Revision: 342724- final 8.2 version
* Sun Feb 15 2009 Guillaume Rousse 8.2-0.rc2.1mdv2009.1+ Revision: 340578- new release