[ol9_developer_EPEL] cadical-devel-1:2.1.3-1.el9.x86_64

Name:	cadical-devel
Epoch:	1
Version:	2.1.3
Release:	1.el9
Architecture:	x86_64
Group:	Unspecified
Size:	287371
License:	MIT
RPM:	cadical-devel-2.1.3-1.el9.x86_64.rpm
Source RPM:	cadical-2.1.3-1.el9.src.rpm
Build Date:	Wed Jan 07 2026
Build Host:	build-ol9-x86_64.oracle.com
Vendor:	Oracle America
URL:	http://fmv.jku.at/cadical/
Summary:	Development files for cadical
Description:	Library links and header files for developing applications that use cadical.

Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 1:2.1.3-1
```
- Version 2.1.3
```
Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
```
Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
```

Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-2

- Install more header files for cryptominisat
- Add a VCS field

Tue Jun 18 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-1
```
- Version 2.0.0
```
Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 1:1.9.5-1
```
- Version 1.9.5
```
Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.9.4-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.9.4-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 1:1.9.4-1
```
- Version 1.9.4
- Stop building for 32-bit x86
```
Sat Sep 16 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.4-1
```
- Version 1.7.4
```