Changelog for gecode-devel-3.7.3-lp155.2.8.x86_64.rpm :

* Tue Sep 04 2012 cooloAATTsuse.com- do not strip
* Wed Aug 22 2012 nkrinnerAATTsuse.com- Specfile cleanup
* Wed Aug 22 2012 nkrinnerAATTsuse.com- Update to version 3.7.3 to fix a bug when used with chef- See http://www.gecode.org/doc-latest/reference/PageChange.html#SectionChanges_3_7_3 for changelog
* Wed Jul 04 2012 jatanAATTsuse.de- Use Vincent\'s (vuntz) spec file fixes
* Wed Jul 04 2012 jatanAATTsuse.de- Import from home:bmwiedemann:Chef
* Thu Mar 31 2011 stoppeAATTgmx.de- Initial version