[ol9_developer_EPEL] z3-devel-4.8.15-2.el9.aarch64

Name:	z3-devel
Version:	4.8.15
Release:	2.el9
Architecture:	aarch64
Group:	Unspecified
Size:	528573
License:	MIT
RPM:	z3-devel-4.8.15-2.el9.aarch64.rpm
Source RPM:	z3-4.8.15-2.el9.src.rpm
Build Date:	Thu Apr 14 2022
Build Host:	build-ol9-aarch64.oracle.com
Vendor:	Oracle America
URL:	https://github.com/Z3Prover/z3
Summary:	Header files for build applications that use z3
Description:	Header files for build applications that use z3.

Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2

- Add -ambiguous-overload patch to fix cppcheck build failure

Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-1
```
- Version 4.8.15
```
Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
```
- Rebuilt for java-17-openjdk as system jdk
```
Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
```
- OCaml 4.13.1 rebuild to remove package notes
```
Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
```
Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1
```
- Version 4.8.14
- Conditionalize the %check script
```
Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
```
- Version 4.8.13
```
Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3
```
- OCaml 4.13.1 build
```
Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.12-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
```
Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
```
- Version 4.8.12
```