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

Version 4.11.0. Clarify license of the doc subpackage.

This commit is contained in:
Jerry James 2022-08-19 13:32:07 -06:00
parent 52e2a85d5e
commit 1b84535f23
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sources
View File

@ -1 +1 @@
SHA512 (z3-4.10.2.tar.gz) = d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
SHA512 (z3-4.11.0.tar.gz) = a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905

12
z3.spec
View File

@ -15,7 +15,7 @@
%bcond_with test
Name: z3
Version: 4.10.2
Version: 4.11.0
Release: 1%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
@ -72,6 +72,10 @@ Header files for build applications that use z3.
%package doc
Summary: API documentation for Z3
# Two files in examples are GPL-3.0-or-later WITH Bison-exception 2.2:
# examples/tptp/tptp5.tab.c
# examples/tptp/tptp5.tab.c
License: MIT AND GPL-3.0-or-later WITH Bison-exception-2.2
# FIXME: this should be noarch, but we end up with different numbers of inheritance
# graphs on different architectures. Why?
@ -215,7 +219,7 @@ cd -
%files libs
%license LICENSE.txt
%{_libdir}/libz3.so.4.10*
%{_libdir}/libz3.so.4.11*
%files devel
%{_includedir}/z3/
@ -251,6 +255,10 @@ cd -
%{python3_sitelib}/z3/
%changelog
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
- Version 4.11.0
- Clarify license of the doc subpackage
* Mon Aug 8 2022 Jerry James <loganjerry@gmail.com> - 4.10.2-1
- Version 4.10.2