CVS commit: pkgsrc/math/cadical

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 18:37:35 UTC 2026

Modified Files:
        pkgsrc/math/cadical: DESCR Makefile

Log Message:
cadical: mention that this is v2


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/cadical/DESCR
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/cadical/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/cadical/DESCR
diff -u pkgsrc/math/cadical/DESCR:1.1 pkgsrc/math/cadical/DESCR:1.2
--- pkgsrc/math/cadical/DESCR:1.1       Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/DESCR   Fri Jul 24 18:37:35 2026
@@ -1,3 +1,5 @@
 The goal of the development of CaDiCaL was to obtain a CDCL solver,
 which is easy to understand and change, while at the same time not
 being much slower than other state-of-the-art CDCL solvers.
+
+This package provides the old major version 2.

Index: pkgsrc/math/cadical/Makefile
diff -u pkgsrc/math/cadical/Makefile:1.2 pkgsrc/math/cadical/Makefile:1.3
--- pkgsrc/math/cadical/Makefile:1.2    Tue Jun 30 22:52:48 2026
+++ pkgsrc/math/cadical/Makefile        Fri Jul 24 18:37:35 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.2 2026/06/30 22:52:48 alnsn Exp $
+# $NetBSD: Makefile,v 1.3 2026/07/24 18:37:35 wiz Exp $
 
 DISTNAME=      cadical-2.1.3
 CATEGORIES=    math
@@ -7,7 +7,7 @@ GITHUB_TAG=     rel-${PKGVERSION_NOREV}
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=      https://github.com/arminbiere/cadical/
-COMMENT=       SAT Solver
+COMMENT=       SAT Solver (v2)
 LICENSE=       mit
 
 WRKSRC=                ${WRKDIR}/cadical-rel-${PKGVERSION_NOREV}