Changelog for alt-ergo-0.95.2-3.1.x86_64.rpm :
Tue Nov 26 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 0.95.2 from upstream

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- fix dependency generation

Sat Nov 10 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- split off devel package

Sat Nov 10 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- use new names for BR (ocaml- prefix)
- enable parallel builds

Tue Jun 12 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- fix dependencies

Tue Jun 12 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- Initial packaging.