[ol7_developer_EPEL] picosat-devel-965-2.el7.x86_64

Name:	picosat-devel
Version:	965
Release:	2.el7
Architecture:	x86_64
Group:	Unspecified
Size:	28675
License:	MIT
RPM:	picosat-devel-965-2.el7.x86_64.rpm
Source RPM:	picosat-965-2.el7.src.rpm
Build Date:	Tue Mar 20 2018
Build Host:	x86-ol7-builder-03.us.oracle.com
Vendor:	Oracle America
URL:	http://fmv.jku.at/picosat/
Summary:	Development files for PicoSAT
Description:	Headers and other development files for PicoSAT.

Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 965-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
```

Wed Jan 13 2016 Jerry James <loganjerry@gmail.com> - 965-1

- New upstream release
- Drop -proof-access patch now that csisat has been retired
- Add a library built for R support

Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 960-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
```

Fri Nov 07 2014 Jerry James <loganjerry@gmail.com> - 960-1

- New upstream release
- Drop upstreamed -alias patch
- Fix license handling

Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 957-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
```
Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 957-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
```

Wed Jul 31 2013 Jerry James <loganjerry@gmail.com> - 957-1

- New upstream release
- Remove comment that was being pulled into postun

Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 951-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
```
Mon Aug 20 2012 Jerry James <loganjerry@gmail.com> - 951-1
```
- New upstream release
```
Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 936-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
```