Changelog for alt-ergo-0.99.1-7.fc23.x86_64.rpm :
Wed Jun 24 14:00:00 2015 Richard W.M. Jones - 0.99.1-7
- ocaml-4.02.2 final rebuild.

Wed Jun 17 14:00:00 2015 Richard W.M. Jones - 0.99.1-6
- ocaml-4.02.2 rebuild.

Tue Jun 16 14:00:00 2015 Fedora Release Engineering - 0.99.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Wed Mar 18 13:00:00 2015 Jerry James - 0.99.1-4
- Rebuild for ocaml-ocamlgraph 1.8.6

Fri Mar 13 13:00:00 2015 Jerry James - 0.99.1-3
- Fix FTBFS (bz 1099153)

Wed Feb 18 13:00:00 2015 Richard W.M. Jones - 0.99.1-2
- ocaml-4.02.1 rebuild.

Tue Jan 6 13:00:00 2015 Jerry James - 0.99.1-1
- Update to version 0.99.1

Thu Oct 30 13:00:00 2014 Jerry James - 0.95.2-14
- Rebuild for new ocaml-lablgtk

Tue Oct 14 14:00:00 2014 Jerry James - 0.95.2-13
- Rebuild for ocaml-zarith 1.3
- Fix license handling

Tue Sep 2 14:00:00 2014 Jerry James - 0.95.2-12
- ocaml-4.02.0 final rebuild.

Sat Aug 23 14:00:00 2014 Richard W.M. Jones - 0.95.2-11
- ocaml-4.02.0+rc1 rebuild.

Fri Aug 15 14:00:00 2014 Fedora Release Engineering - 0.95.2-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Sat Aug 2 14:00:00 2014 Richard W.M. Jones - 0.95.2-9
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Fri Jul 25 14:00:00 2014 Richard W.M. Jones - 0.95.2-8
- Bump release and rebuild.

Fri Jul 25 14:00:00 2014 Richard W.M. Jones - 0.95.2-7
- Rebuild for OCaml 4.02.0 beta.

Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 0.95.2-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Mon Apr 21 14:00:00 2014 Jerry James - 0.95.2-5
- Rebuild for ocamlgraph 1.8.5

Tue Apr 15 14:00:00 2014 Richard W.M. Jones - 0.95.2-4
- Remove ocaml_arches macro (RHBZ#1087794).

Mon Mar 24 13:00:00 2014 Jerry James - 0.95.2-3
- Add desktop icons
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
- Fix bytecode build
- Drop screenshot, now hosted externally

Tue Mar 4 13:00:00 2014 Jerry James - 0.95.2-2
- Add an AppData file and screenshot
- Adapt to ocamlgraph 1.8.4

Fri Sep 20 14:00:00 2013 Jerry James - 0.95.2-1
- Update to version 0.95.2
- Web pages and downloads now hosted by ocamlpro.com
- Add ocaml-findlib, ocaml-zarith, and gmp-devel BRs
- Drop prelink BR; execstack is no longer set
- Fix bogus changelog dates

Sat Sep 14 14:00:00 2013 Richard W.M. Jones - 0.95.1-4
- Rebuild for OCaml 4.01.0.
- Enable debuginfo.
- Change some define -> global.
- Remove Group lines not needed by modern RPM.

Sat Aug 3 14:00:00 2013 Fedora Release Engineering - 0.95.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Tue May 14 14:00:00 2013 Jerry James - 0.95.1-2
- Rebuild for ocaml-ocamlgraph 1.8.3
- Make the binaries full RELRO due to network use

Tue Mar 5 13:00:00 2013 Jerry James - 0.95.1-1
- Update to version 0.95.1
- Drop upstreamed -install patch

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 0.95-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Jan 14 13:00:00 2013 Jerry James - 0.95-1
- Update to version 0.95
- Add -install patch to fix installation failure

Wed Oct 17 14:00:00 2012 Jerry James - 0.94-7
- Rebuild for OCaml 4.00.1

Mon Jul 30 14:00:00 2012 Jerry James - 0.94-6
- Rebuild for ocaml-ocamlgraph 1.8.2

Wed Jul 18 14:00:00 2012 Fedora Release Engineering - 0.94-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Tue Jun 12 14:00:00 2012 Jerry James - 0.94-4
- Rebuild for OCaml 4.00.0

Thu Jan 12 13:00:00 2012 Fedora Release Engineering - 0.94-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild

Sat Jan 7 13:00:00 2012 Jerry James - 0.94-2
- Rebuild for OCaml 3.12.1

Tue Dec 6 13:00:00 2011 Jerry James - 0.94-1
- Add a desktop file for the gui.
- Update to version 0.94. This means:
- The theory of records replaces the theory of pairs
- Bug fixes (intervals, term data-structure, stack-overflows, matching,
existentials, distincts, CC, GUI)
- Improvements (SMT-Lib2 front-end, intervals, case-splits, triggers, lets)
- Multiset ordering for AC(X)
- Manual lemma instantiation in the GUI

Mon Nov 14 13:00:00 2011 Jerry James - 0.93-2
- Build on all arches with ocaml

Thu May 12 14:00:00 2011 Jerry James - 0.93-1
- Update to version 0.93. This means:
- New command-line options -steps, -max-split, and -proof
- New polymorphic theory of arrays
- Built-in support for enumeration types
- Graphical front end
- New predicate distinct()
- New constructs: let x = in , let x = in
- Partial support for the division operator
- Unspecified bug fixes

Mon Feb 7 13:00:00 2011 Fedora Release Engineering - 0.92.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

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.