diff --git a/math/clasp/Makefile b/math/clasp/Makefile index f6730cae67b5..addfcf21fa4f 100644 --- a/math/clasp/Makefile +++ b/math/clasp/Makefile @@ -1,29 +1,28 @@ PORTNAME= clasp -PORTVERSION= 3.3.5 +PORTVERSION= 3.3.9 DISTVERSIONPREFIX= v CATEGORIES= math devel MAINTAINER= vsevolod@FreeBSD.org COMMENT= Answer set solver for (extended) normal logic programs -WWW= http://potassco.sourceforge.net/ +WWW= https://potassco.org/clasp/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE BROKEN_sparc64= Fails to build: internal compiler error USES= compiler:c++11-lang cmake USE_GITHUB= yes GH_ACCOUNT= potassco -GH_PROJECT= ${PORTNAME} -GH_TUPLE= potassco:libpotassco:6e31cff:other/libpotassco +GH_TUPLE= potassco:libpotassco:fa39da4:other/libpotassco PLIST_FILES= bin/${PORTNAME} CONFLICTS_INSTALL= clingo # bin/clasp is contained in clingo do-install: ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} .include diff --git a/math/clasp/distinfo b/math/clasp/distinfo index 9b4155404426..947fe737e9c7 100644 --- a/math/clasp/distinfo +++ b/math/clasp/distinfo @@ -1,5 +1,5 @@ -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 +TIMESTAMP = 1693909958 +SHA256 (potassco-clasp-v3.3.9_GH0.tar.gz) = 858bb4850814a89e30711abea23985646fab56c8e43663a30b2255bb3d863948 +SIZE (potassco-clasp-v3.3.9_GH0.tar.gz) = 677796 +SHA256 (potassco-libpotassco-fa39da4_GH0.tar.gz) = a46dec9da76bc6af85060e47814b9c85cd80914fe3795e9c269608cb739289f3 +SIZE (potassco-libpotassco-fa39da4_GH0.tar.gz) = 259662