[ol8_developer_EPEL] picosat-libs-965-17.el8.x86_64

The PicoSAT library, which contains routines that solve the SAT problem.
The library has a simple API which is similar to that of previous
solvers by the same authors.

Changelog (Show File list) (Show related packages)

• Fri Apr 21 2023 Iñaki Úcar <iucar@fedoraproject.org> - 965-17

  - R-maint-sig mass rebuild

• Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-16

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

• Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 965-15

  - Minor spec file cleanups

• Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-15

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

• Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-14

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

• Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-13

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

• Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-12

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

• Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-11

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

• Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-10

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

• Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-9

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild