git: 7068c01f2999 - main - math/cvc5: update 1.4.1 → 1.4.2
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 12 Oct 2026 05:00:46 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=7068c01f299973d984f98be27fd99adc6fd19767
commit 7068c01f299973d984f98be27fd99adc6fd19767
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-10-12 04:29:29 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-10-12 05:00:39 +0000
math/cvc5: update 1.4.1 → 1.4.2
ChangeLog: https://github.com/cvc5/cvc5/releases/tag/cvc5-1.4.2
---
math/cvc5/Makefile | 7 ++-----
math/cvc5/distinfo | 8 +++-----
2 files changed, 5 insertions(+), 10 deletions(-)
diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 8b2934cb6e1d..09f15ef869be 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,12 +1,9 @@
PORTNAME= cvc5
DISTVERSIONPREFIX= cvc5-
-DISTVERSION= 1.4.1
+DISTVERSION= 1.4.2
CATEGORIES= math java
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX}
-PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/
-PATCHFILES= e748b1feabfbc70da71df4ec114e440c1df3a33e.patch:-p1 # https://github.com/cvc5/cvc5/pull/13015 (Fix configuration with CMake 4.5)
-
MAINTAINER= yuri@FreeBSD.org
COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories)
WWW= https://cvc5.github.io/ \
@@ -109,6 +106,6 @@ CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON
PORTSCOUT= limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
-# tests as of 1.4.1: 100% tests passed, 0 tests failed out of 4397
+# tests as of 1.4.2: 100% tests passed out of 4523
.include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index f0cbf76427d2..48bb481368e8 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,5 +1,3 @@
-TIMESTAMP = 1790647094
-SHA256 (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 5448e82682a65ddbdd7148402f73d48725252e70c9a0e43999c3f305bfbb4f76
-SIZE (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 8954136
-SHA256 (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 0ddf37bdb55a88f08a76e75c080b16b4b9c1b1ec50755c85df4f853438814975
-SIZE (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 1843
+TIMESTAMP = 1791778209
+SHA256 (cvc5-cvc5-cvc5-1.4.2_GH0.tar.gz) = 795099b277bfa79a3c9a11c8d3fec780452031dc89ddcc170003963aa3521343
+SIZE (cvc5-cvc5-cvc5-1.4.2_GH0.tar.gz) = 8992756