rpms/z3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Version 4.13.0

Browse source
This commit is contained in:
Jerry James 2024-03-14 14:37:41 -06:00
commit d8b406fe9c
2 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sources
View file

@ -1 +1 @@
SHA512 (z3-4.12.6.tar.gz) = 10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
SHA512 (z3-4.13.0.tar.gz) = 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd

7
z3.spec
View file

@ -12,7 +12,7 @@
%bcond test 0
Name: z3
Version: 4.12.6
Version: 4.13.0
Release: 1%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
@ -268,7 +268,7 @@ cd -
%files libs
%license LICENSE.txt
%{_libdir}/libz3.so.4.12*
%{_libdir}/libz3.so.4.13*
%files devel
%{_includedir}/z3/
@ -310,6 +310,9 @@ cd -
%{python3_sitelib}/z3/
%changelog
* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-1
- Version 4.13.0
* Sun Feb 25 2024 Jerry James <loganjerry@gmail.com> - 4.12.6-1
- Version 4.12.6