git: ac492799503d - main - math/cadical: update 1.9.5 → 2.0.0

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 03 Oct 2024 09:17:15 UTC 
The branch main has been updated by yuri:

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

commit ac492799503da17a323e998a5658acdccdca645e
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-10-03 01:23:55 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-10-03 09:17:07 +0000

    math/cadical: update 1.9.5 → 2.0.0
---
 math/cadical/Makefile | 3 +--
 math/cadical/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index f8e39d9c1d5e..044ecfaffdd0 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	cadical
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	1.9.5
-PORTREVISION=	1
+DISTVERSION=	2.0.0
 CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/cadical/distinfo b/math/cadical/distinfo
index 70b8a9262cef..7c8447d30fa9 100644
--- a/math/cadical/distinfo
+++ b/math/cadical/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1709755914
-SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
-SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268
+TIMESTAMP = 1727899500
+SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
+SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136