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

Version 4.15.4

Browse source
This commit is contained in:
Jerry James 2025-10-30 09:56:46 -06:00
commit 126bc2fd23
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sources
View file

@ -1 +1 @@
SHA512 (z3-4.15.3.tar.gz) = fde2e334e455401b69ff1d518a8c9e14590b3140e3f6ef907f6d502cebcb0861478229a1a94e5e687d989cdb63f4fd8cde76c6501ea1b5f2b2d34c876aff3486
SHA512 (z3-4.15.4.tar.gz) = 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2

2
z3.spec
View file

@ -14,7 +14,7 @@
%global giturl https://github.com/Z3Prover/z3
Name: z3
Version: 4.15.3
Version: 4.15.4
Release: %autorelease
Summary: Satisfiability Modulo Theories (SMT) solver