Changelog for alt-ergo-0.95.2-2.624.i586.rpm :

* Tue Nov 26 2013 peter.trommlerAATTohm-hochschule.de- update to 0.95.2 from upstream
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- fix dependency generation
* Sat Nov 10 2012 peter.trommlerAATTohm-hochschule.de- split off devel package
* Sat Nov 10 2012 peter.trommlerAATTohm-hochschule.de- use new names for BR (ocaml- prefix)- enable parallel builds
* Tue Jun 12 2012 peter.trommlerAATTohm-hochschule.de- fix dependencies
* Tue Jun 12 2012 peter.trommlerAATTohm-hochschule.de- Initial packaging.