git: d291ca9af823 - main - math/cadical: update 1.6.0 → 1.9.5

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Wed, 06 Mar 2024 20:18:15 UTC 
The branch main has been updated by yuri:

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

commit d291ca9af823474ace099cf2e8a16de23eeae597
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-03-06 20:18:05 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-03-06 20:18:05 +0000

    math/cadical: update 1.6.0 → 1.9.5
    
    Reported by:    portscout
---
 math/cadical/Makefile | 2 +-
 math/cadical/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index fef83a185bf9..fdd221995ad1 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cadical
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	1.6.0
+DISTVERSION=	1.9.5
 CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/cadical/distinfo b/math/cadical/distinfo
index 0efebe577ed3..70b8a9262cef 100644
--- a/math/cadical/distinfo
+++ b/math/cadical/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1687708706
-SHA256 (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 104a271f7448827f5b48798e0b305b150631df6a6bca1106b3d2b4ea4044efab
-SIZE (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 618384
+TIMESTAMP = 1709755914
+SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
+SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268