Changelog for coq-8.1pl3-5.fc10.i386.rpm :
Thu Oct 23 00:00:00 2008 Alan Dunn 8.1pl3-5
- Added Coq .v files into the main package at user request.

Wed Sep 10 00:00:00 2008 Alan Dunn 8.1pl3-4
- Added creation of prelink blacklist for any bytecode files.
- Fixed execstack status for binaries.

Wed Aug 6 00:00:00 2008 Alan Dunn 8.1pl3-3
- Changed parser to coq-parser to avoid name conflict with
coda-client.
- Made make process noisy again.

Mon Jul 21 00:00:00 2008 Alan Dunn 8.1pl3-2.1
- Minor bump for Fedora 8 to bring it into line with the rest.

Fri Jul 18 00:00:00 2008 Alan Dunn 8.1pl3-2
- Added check for Fedora distribution number to allow for Fedora 8 release.

Sun Jun 15 00:00:00 2008 Alan Dunn 8.1pl3-1
- Initial Fedora RPM version.