wip/clasp: update to 3.3.5

[K.I.A.Derouiche <kamel.derouiche%gmail.com@localhost>]

Module Name:	pkgsrc-wip
Committed By:	K.I.A.Derouiche <kamel.derouiche%gmail.com@localhost>
Pushed By:	jihbed
Date:		Fri Nov 6 21:50:58 2020 +0100
Changeset:	b33f788daa287999f4a499be231e0ec329069339

Modified Files:
	clasp/Makefile
	clasp/distinfo

Log Message:
wip/clasp: update to 3.3.5

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=b33f788daa287999f4a499be231e0ec329069339

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

diffstat:
 clasp/Makefile | 16 +++++++++-------
 clasp/distinfo |  8 ++++----
 2 files changed, 13 insertions(+), 11 deletions(-)

diffs:
diff --git a/clasp/Makefile b/clasp/Makefile
index f3b41c3cb0..7888d7294e 100644
--- a/clasp/Makefile
+++ b/clasp/Makefile
@@ -1,18 +1,20 @@
 # $NetBSD$
 
-DISTNAME=	clasp-3.3.4-source
+GITHUB_PROJECT=	clasp
+DISTNAME=	clasp-3.3.5-source
 PKGNAME=	${DISTNAME:S/-source//}
-CATEGORIES=	math devel
+CATEGORIES=	devel
 MASTER_SITES=	${MASTER_SITE_GITHUB:=potassco/}
-GITHUB_RELEASE=	v3.3.4
+GITHUB_RELEASE=	v3.3.5
 
 MAINTAINER=	jihbed.research%gmail.com@localhost
-HOMEPAGE=	http://potassco.sourceforge.net/
-COMMENT=	Answer set solver for (extended) normal logic programs
+HOMEPAGE=	https://potassco.org/clasp/
+COMMENT=	Answer set solver for normal and disjunctive logic programs
 LICENSE=	mit
 
-WRKSRC=		${WRKDIR}/clasp-3.3.4
-USE_CMAKE=	yes
+WRKSRC=		${WRKDIR}/clasp-3.3.5
+
 USE_LANGUAGES=	c c++
+USE_CMAKE=	yes
 
 .include "../../mk/bsd.pkg.mk"
diff --git a/clasp/distinfo b/clasp/distinfo
index 3e9e41f9c3..13766a838f 100644
--- a/clasp/distinfo
+++ b/clasp/distinfo
@@ -1,6 +1,6 @@
 $NetBSD$
 
-SHA1 (clasp-3.3.4-source.tar.gz) = 866d312137a38e4703bfe39c167e784f71574af0
-RMD160 (clasp-3.3.4-source.tar.gz) = a09294bad38cb27eb095d98dc91be93319f701b2
-SHA512 (clasp-3.3.4-source.tar.gz) = 7cfb2c9470ac8f7a57b48038e600b02e8b04cd4e923a6c59b58d75dbe114feb41c577688b4945f97c646e975fcf2c3e23578a12e3c97eec4639f558f5fe8595c
-Size (clasp-3.3.4-source.tar.gz) = 826644 bytes
+SHA1 (clasp-3.3.5-source.tar.gz) = f6eb209a033a67dd2803f9230f0b3f9399163ced
+RMD160 (clasp-3.3.5-source.tar.gz) = e5671f78ddc05e049dbfceaad84547d458286206
+SHA512 (clasp-3.3.5-source.tar.gz) = 2b0a877271a92adbb3c16ce0de6b36b9bd5054098e668cee7beb79c4d8eace24a5ecc20e053ba30d8a6b7b0942e229f685b2a71918fe14699a5e1819033b8d79
+Size (clasp-3.3.5-source.tar.gz) = 831051 bytes