Changelog for alt-ergo-0.8-5.fc11.i586.rpm :
Mon Feb 23 23:00:00 2009 Fedora Release Engineering - 0.8-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Wed Dec 24 23:00:00 2008 Alan Dunn 0.8-4
- Rebuild: Source upstream appears to have changed even with same version number
(seems like bug fix from examination of changes)
- Changed hardcoded version number in source string

Sat Sep 6 00:00:00 2008 Alan Dunn 0.8-3
- Fixed BuildRequires to add prelink (for execstack).

Wed Aug 27 00:00:00 2008 Alan Dunn 0.8-2
- Fixed BuildRequires to add ocaml-ocamlgraph-devel instead of
ocaml-ocamlgraph, made other minor changes.

Tue Aug 26 00:00:00 2008 Alan Dunn 0.8-1
- Initial Fedora RPM version.