Changelog for cvc4-libs-1.4-7.fc23.i686.rpm :
Wed Jul 29 14:00:00 2015 Fedora Release Engineering - 1.4-7
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159

Wed Jul 22 14:00:00 2015 David Tardon - 1.4-6
- rebuild for Boost 1.58

Wed Jun 17 14:00:00 2015 Fedora Release Engineering - 1.4-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

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

Fri Mar 20 13:00:00 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 13:00:00 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 13:00:00 2015 Petr Machata - 1.4-2
- Rebuild for boost 1.57.0

Thu Jan 1 13:00:00 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 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