Changelog for coq-coqide-8.1pl4-3.fc9.i386.rpm :
Wed Mar 4 23:00:00 2009 Alan Dunn - 8.1pl4-3
- Minor change to cmxa-install patch instruction
- Fixed to work with lablgtk 2.12

Tue Feb 24 23:00:00 2009 Fedora Release Engineering - 8.1pl4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Fri Dec 5 23:00:00 2008 Richard W.M. Jones - 8.1pl4-1
- New upstream version 8.1pl4.
- Attempt to rebuild against OCaml 3.11.0.
- Run make with VERBOSE=1 so we can see the actual commands.
- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
of camlp4 if it happens to be installed).

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.