Changelog for cvc3-2.4.1-3.fc17.i686.rpm :
Tue Feb 28 13:00:00 2012 Fedora Release Engineering - 2.4.1-3
- Rebuilt for c++ ABI breakage

Fri Jan 6 13:00:00 2012 Jerry James - 2.4.1-2
- Rebuild for GCC 4.7

Thu Oct 20 14:00:00 2011 Marcela Mašláňová - 2.4.1-1.2
- rebuild with new gmp without compat lib

Mon Oct 10 14:00:00 2011 Peter Schiffer - 2.4.1-1.1
- rebuild with new gmp

Tue Sep 6 14:00:00 2011 Jerry James - 2.4.1-1
- New upstream version
- Drop unnecessary spec file elements (BuildRoot, etc.)
- Don\'t run the Java tests; they can\'t find the JNI shared objects

Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 2.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Thu Jun 3 14:00:00 2010 Jerry James - 2.2-2
- Add python BR (bz 599887)

Thu Nov 19 13:00:00 2009 Jerry James - 2.2-1
- Update to 2.2
- Drop upstreamed patches (gcc4 and java)

Tue Oct 27 13:00:00 2009 Jerry James - 2.1-3
- Drop the graphviz BR to block generation of huge class graphs
- Use the new (X)Emacs RPM macros to simplify the spec file

Mon Oct 19 14:00:00 2009 Jerry James - 2.1-2
- Fix problems found on review
- Enable the Java interface

Thu Oct 15 14:00:00 2009 Jerry James - 2.1-1
- Initial RPM