git: 24cf5ad9aa4c - main - math/cadical: update 2.0.0 → 2.1.3

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 19 Jun 2025 15:52:43 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=24cf5ad9aa4cb04a47a277e0cdcb3bb75579109d

commit 24cf5ad9aa4cb04a47a277e0cdcb3bb75579109d
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-06-19 15:50:39 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-06-19 15:52:36 +0000

    math/cadical: update 2.0.0 → 2.1.3
---
 math/bitwuzla/Makefile  | 1 +
 math/boolector/Makefile | 1 +
 math/cadiback/Makefile  | 1 +
 math/cadical/Makefile   | 2 +-
 math/cadical/distinfo   | 6 +++---
 math/lean4/Makefile     | 1 +
 6 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile
index 2a9354538866..63387ea1b148 100644
--- a/math/bitwuzla/Makefile
+++ b/math/bitwuzla/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	bitwuzla
 DISTVERSION=	0.7.0
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 2450bea7df94..4d654fa79dbf 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	boolector
 DISTVERSION=	3.2.4
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/cadiback/Makefile b/math/cadiback/Makefile
index 1b7786ef63dd..594109c0d317 100644
--- a/math/cadiback/Makefile
+++ b/math/cadiback/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	cadiback
 DISTVERSION=	g20240729
+PORTREVISION=	1
 CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index 044ecfaffdd0..67a944066d57 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cadical
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	2.0.0
+DISTVERSION=	2.1.3
 CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/cadical/distinfo b/math/cadical/distinfo
index 7c8447d30fa9..945a9f90c070 100644
--- a/math/cadical/distinfo
+++ b/math/cadical/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1727899500
-SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
-SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136
+TIMESTAMP = 1750305187
+SHA256 (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465
+SIZE (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = 731545
diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index f88c468e34d0..acc607f13634 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
 DISTVERSION=	4.20.1
+PORTREVISION=	1
 CATEGORIES=	math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment
 
 MAINTAINER=	yuri@FreeBSD.org