From 2cae0a19521f3fa600c03da84d60d8766d07ce53 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Mon, 27 Jan 2025 21:58:21 -0800 Subject: [PATCH] =?UTF-8?q?math/cvc5:=20update=201.2.0=20=E2=86=92=201.2.1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reported by: portscout --- math/cvc5/Makefile | 2 +- math/cvc5/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index 07fd137077bf..c91f05e104a1 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -1,6 +1,6 @@ PORTNAME= cvc5 DISTVERSIONPREFIX= cvc5- -DISTVERSION= 1.2.0 +DISTVERSION= 1.2.1 CATEGORIES= math java EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo index 23bf8da3445a..effa474fad01 100644 --- a/math/cvc5/distinfo +++ b/math/cvc5/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1723346538 -SHA256 (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e -SIZE (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 8916450 +TIMESTAMP = 1738036883 +SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69 +SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038