Fedora Packages

picosat-libs-965-2.el7 in EPEL 7

↵ Return to the main page of picosat-libs
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files

Changelog

Date Author Change
2016-02-04 Fedora Release Engineering <releng at fedoraproject dot org> - 965-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-01-13 Jerry James <loganjerry at gmail dot com> - 965-1 - New upstream release - Drop -proof-access patch now that csisat has been retired - Add a library built for R support
2015-06-18 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 960-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-11-07 Jerry James <loganjerry at gmail dot com> - 960-1 - New upstream release - Drop upstreamed -alias patch - Fix license handling
2014-08-17 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 957-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-07 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 957-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-07-31 Jerry James <loganjerry at gmail dot com> - 957-1 - New upstream release - Remove comment that was being pulled into postun
2013-02-14 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 951-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2012-08-20 Jerry James <loganjerry at gmail dot com> - 951-1 - New upstream release
2012-07-21 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 936-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Provides

  • libpicosat-trace.so.0()(64bit)
  • libpicosat.so.0()(64bit)
  • picosat-libs
  • picosat-libs(x86-64)

Files


Sources on Pagure