openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-17 23:13:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

math/z3: update to 4.14.1

Browse Source 
OK: kn@
This commit is contained in:
kirill
2025-03-22 14:21:53 +00:00
parent bc4e8e428c
commit f90b6e643c
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/z3/Makefile
+1 -1
View File
@@ -1,6 +1,6 @@
COMMENT = Z3 theorem prover
DIST_TUPLE = github Z3Prover z3 z3-4.14.0 .
DIST_TUPLE = github Z3Prover z3 z3-4.14.1 .
PKGNAME = ${DISTNAME:S/z3-//}
SHARED_LIBS = z3 4.14
math/z3/distinfo
+2 -2
View File
@@ -1,2 +1,2 @@
SHA256 (Z3Prover-z3-z3-4.14.0.tar.gz) = Y0MMOqt291sdLFMXf5Q1HK7KJuIY9MwGCh/AKQWa9oM=
SIZE (Z3Prover-z3-z3-4.14.0.tar.gz) = 5841848
SHA256 (Z3Prover-z3-z3-4.14.1.tar.gz) = gaAsLGTGTWw98jP1kYa5VieZCtoMTC/JAcnCWnByZyo=
SIZE (Z3Prover-z3-z3-4.14.1.tar.gz) = 5844214