mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-22 08:58:47 +00:00
Code Issues Releases Activity

math/z3: Update to 4.12.4

Browse Source
This commit is contained in:
Gleb Popov 2023-12-29 23:44:36 +03:00
parent 835f9877ca
commit 05d913f508
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/z3/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= z3
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.12.1
DISTVERSION= 4.12.4
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org

6
math/z3/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1676206397
SHA256 (Z3Prover-z3-z3-4.12.1_GH0.tar.gz) = a3735fabf00e1341adcc70394993c05fd3e2ae167a3e9bb46045e33084eb64a3
SIZE (Z3Prover-z3-z3-4.12.1_GH0.tar.gz) = 5470095
TIMESTAMP = 1703882277
SHA256 (Z3Prover-z3-z3-4.12.4_GH0.tar.gz) = 25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e
SIZE (Z3Prover-z3-z3-4.12.4_GH0.tar.gz) = 5471960