On Thu, 13 Mar 2025 00:32:20 +0100,
Kirill A. Korinsky <kirill@korins.ky> wrote:
> 
> ports@,
> 
> I'd like to update math/z3 to 4.14.1
> 
> Tested on -current/amd64
> 
> Ok?

Anyone?

> 
> Index: math/z3/Makefile
> ===================================================================
> RCS file: /home/cvs/ports/math/z3/Makefile,v
> diff -u -p -r1.38 Makefile
> --- math/z3/Makefile	20 Feb 2025 23:06:41 -0000	1.38
> +++ math/z3/Makefile	12 Mar 2025 15:00:16 -0000
> @@ -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
> Index: math/z3/distinfo
> ===================================================================
> RCS file: /home/cvs/ports/math/z3/distinfo,v
> diff -u -p -r1.18 distinfo
> --- math/z3/distinfo	20 Feb 2025 23:06:41 -0000	1.18
> +++ math/z3/distinfo	12 Mar 2025 15:00:24 -0000
> @@ -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
> 

-- 
wbr, Kirill