[ol9_developer_EPEL] picosat-libs-965-21.el9.x86_64

Name:	picosat-libs
Version:	965
Release:	21.el9
Architecture:	x86_64
Group:	Unspecified
Size:	173746
License:	MIT
RPM:	picosat-libs-965-21.el9.x86_64.rpm
Source RPM:	picosat-965-21.el9.src.rpm
Build Date:	Tue May 07 2024
Build Host:	build-ol9-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.

Thu Apr 25 2024 Iñaki Úcar <iucar@fedoraproject.org> - 965-21
```
- R-maint-sig mass rebuild
```
Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-20
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-19
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-18
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
```
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
```