Changelog for alt-ergo-0.8-3.fc10.x86_64.rpm :
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.