Changelog for
cvc4-devel-1.3-7.fc21.i686.rpm :
Fri Aug 22 14:00:00 2014 Jerry James
- 1.3-7
- Remove arm platforms from have_perftools due to bz 1109309
Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 1.3-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 1.3-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Fri May 23 14:00:00 2014 David Tardon - 1.3-5
- rebuild for boost 1.55.0
Thu Mar 6 13:00:00 2014 Jerry James - 1.3-4
- Merge changes from Dan HorĂ¡k to fix secondary arch builds
Tue Feb 4 13:00:00 2014 Jerry James - 1.3-3
- glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig
Mon Jan 27 13:00:00 2014 Jerry James - 1.3-2
- Install JNI objects in %{_jnidir}
- The documentation is arch-specific after all
Wed Jan 22 13:00:00 2014 Jerry James - 1.3-1
- Initial RPM