On Thu, 13 Mar 2025 00:32:20 +0100,
Kirill A. Korinsky <kir...@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
