CVS commit: pkgsrc/math/cadical
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 1.1 KB)
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= [email protected]
HOMEPAGE= https://github.com/arminbiere/cadical/
-COMMENT= SAT Solver
+COMMENT= SAT Solver (v2)
LICENSE= mit
WRKSRC= ${WRKDIR}/cadical-rel-${PKGVERSION_NOREV}