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

Name:	z3
Version:	4.8.15
Release:	2.el9
Architecture:	aarch64
Group:	Unspecified
Size:	14965349
License:	MIT
RPM:	z3-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:	Satisfiability Modulo Theories (SMT) solver
Description:	Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.

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