Changelog for alt-ergo-0.92.1-1.fc13.x86_64.rpm :
Wed Oct 6 14:00:00 2010 David A. Wheeler 0.92.1-1
- Update to version 0.92.1. This means:
- New built-in syntax for the theory of arrays
- Fixes a bug in the arithmetic module
- Allows folding and unfolding of predicate definitions

Tue Jun 8 14:00:00 2010 David A. Wheeler 0.91-1
- Update to version 0.91. This means:
- partial support for non-linear arithmetics
- support case split on integer variables
- new support for Euclidean division and modulo operators

Tue Aug 4 14:00:00 2009 Alan Dunn 0.9-2
- Added ExcludeArch sparc64 due to no OCaml

Fri Jul 24 14:00:00 2009 Alan Dunn 0.9-1
- New upstream version
- Removed code for check for Fedora version (8) that is EOL
- Removed comments re: CeCILL-C license as it is ok to have (no
rpmlint warnings to explain either).

Wed Jun 17 14:00:00 2009 Karsten Hopp 0.8-5.1
- ExcludeArch s390x as there\'s no ocaml available

Mon Feb 23 13:00:00 2009 Fedora Release Engineering - 0.8-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Wed Dec 24 13: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

Fri Sep 5 14:00:00 2008 Alan Dunn 0.8-3
- Fixed BuildRequires to add prelink (for execstack).

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

Mon Aug 25 14:00:00 2008 Alan Dunn 0.8-1
- Initial Fedora RPM version.