Index: head/math/clasp/Makefile
===================================================================
--- head/math/clasp/Makefile	(revision 539610)
+++ head/math/clasp/Makefile	(revision 539611)
@@ -1,22 +1,29 @@
 # Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	clasp
-PORTVERSION=	3.1.3
+PORTVERSION=	3.3.5
+DISTVERSIONPREFIX=	v
 CATEGORIES=	math devel
-MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
-EXTRACT_SUFX=	-source.tar.gz
 
 MAINTAINER=	vsevolod@FreeBSD.org
 COMMENT=	Answer set solver for (extended) normal logic programs
 
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
 BROKEN_sparc64=	Fails to build: internal compiler error
 
 USES=	cmake
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	potassco
+GH_PROJECT=	${PORTNAME}
+GH_TUPLE=	potassco:libpotassco:6e31cff:other/libpotassco
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>
Index: head/math/clasp/distinfo
===================================================================
--- head/math/clasp/distinfo	(revision 539610)
+++ head/math/clasp/distinfo	(revision 539611)
@@ -1,2 +1,5 @@
-SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
-SIZE (clasp-3.1.3-source.tar.gz) = 520291
+TIMESTAMP = 1592574784
+SHA256 (potassco-clasp-v3.3.5_GH0.tar.gz) = faae82371f0e590225171217bfaa010e4712ca4edf42d6cbc5268460705af70e
+SIZE (potassco-clasp-v3.3.5_GH0.tar.gz) = 621349
+SHA256 (potassco-libpotassco-6e31cff_GH0.tar.gz) = 3f98761b7d5d141532130d391e2a19b6d4283341660f9572adb61bd2c3bbb56f
+SIZE (potassco-libpotassco-6e31cff_GH0.tar.gz) = 210065