Changelog for coq-8.0pl3-5mdv2007.0.i586.rpm :
Tue Aug 29 12:00:00 2006 Guillaume Rousse 8.0pl3-5mdv2007.0
- Rebuild

Mon Mar 27 12:00:00 2006 Guillaume Rousse 8.0pl3-4mdk
- buildrequires

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

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

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