Changelog for cvc3-2.4.1-13.fc23.x86_64.rpm :
Wed Jun 17 14:00:00 2015 Fedora Release Engineering - 2.4.1-13
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Sat May 2 14:00:00 2015 Kalev Lember - 2.4.1-12
- Rebuilt for GCC 5 C++11 ABI change

Thu Feb 12 13:00:00 2015 Jerry James - 2.4.1-11
- Use license macro
- Note bundled jquery

Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 2.4.1-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

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

Mon Feb 24 13:00:00 2014 Jerry James - 2.4.1-8
- Make the -java subpackage R java-headless instead of java (bz 1068020)

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

Mon Apr 29 14:00:00 2013 Jerry James - 2.4.1-6
- Add -aarch64 support (bz 925213)
- Turn off parallel builds; they sometimes fail while building the Java code

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

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

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