rpms/z3
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Version 4.11.2.

Browse Source
This commit is contained in:
Jerry James 2022-09-04 13:17:38 -06:00
parent 1b84535f23
commit 6bc865dcfc
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sources
View File

@ -1 +1 @@
SHA512 (z3-4.11.0.tar.gz) = a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905 SHA512 (z3-4.11.2.tar.gz) = be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a

5
z3.spec
View File

@ -15,7 +15,7 @@
%bcond_with test %bcond_with test
Name: z3 Name: z3
Version: 4.11.0 Version: 4.11.2
Release: 1%{?dist} Release: 1%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver Summary: Satisfiability Modulo Theories (SMT) solver
@ -255,6 +255,9 @@ cd -
%{python3_sitelib}/z3/ %{python3_sitelib}/z3/
%changelog %changelog
* Sun Sep 4 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
- Version 4.11.2
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1 * Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
- Version 4.11.0 - Version 4.11.0
- Clarify license of the doc subpackage - Clarify license of the doc subpackage