Changelog for
cvc4-devel-1.4-11.fc25.i686.rpm :
* Tue May 17 2016 Jonathan Wakely
- 1.4-11- Rebuilt for linker errors in boost (#1331983)
* Wed Feb 03 2016 Fedora Release Engineering - 1.4-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Fri Jan 15 2016 Jonathan Wakely - 1.4-9- Rebuilt for Boost 1.60
* Thu Aug 27 2015 Jonathan Wakely - 1.4-8- Rebuilt for Boost 1.59
* Wed Jul 29 2015 Fedora Release Engineering - 1.4-7- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
* Wed Jul 22 2015 David Tardon - 1.4-6- rebuild for Boost 1.58
* Wed Jun 17 2015 Fedora Release Engineering - 1.4-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 02 2015 Kalev Lember - 1.4-4- Rebuilt for GCC 5 C++11 ABI change
* Fri Mar 20 2015 Jerry James - 1.4-3- Don\'t use perftools at all due to random weirdness on multiple platforms- Also Obsoletes/Provides lfsc-devel
* Wed Mar 11 2015 Jerry James - 1.4-2- Add -boolean, -minisat, and -signed patches to fix test failures- Fix boost detection with g++ 5.0- Fix access to an uninitialized variable- Help the documentation generator find COPYING- Build with -fsigned-char to fix the arm build- Prevent rebuilds while running checks- Remove i686 from have_perftools due to test failures
* Tue Jan 27 2015 Petr Machata - 1.4-2- Rebuild for boost 1.57.0
* Thu Jan 01 2015 Jerry James - 1.4-1- New upstream release- Drop updated test files, now included upstream- Drop obsolete workarounds for glpk compatibility- Drop lfsc BR/R, as it has been incorporated into cvc4
* Fri Aug 22 2014 Jerry James - 1.3-7- Remove arm platforms from have_perftools due to bz 1109309
* Sat Aug 16 2014 Fedora Release Engineering - 1.3-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 1.3-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Fri May 23 2014 David Tardon - 1.3-5- rebuild for boost 1.55.0
* Thu Mar 06 2014 Jerry James - 1.3-4- Merge changes from Dan Horák to fix secondary arch builds
* Tue Feb 04 2014 Jerry James - 1.3-3- glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig
* Mon Jan 27 2014 Jerry James - 1.3-2- Install JNI objects in %{_jnidir}- The documentation is arch-specific after all
* Wed Jan 22 2014 Jerry James - 1.3-1- Initial RPM
