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

Name:	picosat-libs
Version:	965
Release:	17.el8
Architecture:	x86_64
Group:	Unspecified
Size:	167678
License:	MIT
RPM:	picosat-libs-965-17.el8.x86_64.rpm
Source RPM:	picosat-965-17.el8.src.rpm
Build Date:	Mon May 01 2023
Build Host:	build-ol8-x86_64.oracle.com
Vendor:	Oracle America
URL:	http://fmv.jku.at/picosat/
Summary:	A SAT solver library
Description:	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.

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
```