git: 640abf7ca5aa - main - math/cadical: Update WWW

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Fri, 26 Sep 2025 05:15:54 UTC

The branch main has been updated by yuri:

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

commit 640abf7ca5aa3fbbf60adf01fac8e4eb4b141826
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-09-26 04:46:37 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-09-26 05:15:49 +0000

    math/cadical: Update WWW
---
 math/cadical/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index 67a944066d57..01262dfc3416 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -5,7 +5,8 @@ CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Simple CDCL satisfiability solver
-WWW=		http://fmv.jku.at/cadical/
+WWW=		https://fmv.jku.at/cadical/ \
+		https://github.com/arminbiere/cadical
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE