diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2023-09-05 10:34:18 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2023-09-05 10:41:53 +0000 |
| commit | edf8c43fb1c22cae1de84baa0d2c841f7331b96c (patch) | |
| tree | 90615d97098751443d6921034bc298a783336f8d /math/clasp | |
| parent | 6a5b0380b37a05794c67bed898b2cf1acc339817 (diff) | |
Diffstat (limited to 'math/clasp')
| -rw-r--r-- | math/clasp/Makefile | 7 | ||||
| -rw-r--r-- | math/clasp/distinfo | 10 |
2 files changed, 8 insertions, 9 deletions
diff --git a/math/clasp/Makefile b/math/clasp/Makefile index f6730cae67b5..addfcf21fa4f 100644 --- a/math/clasp/Makefile +++ b/math/clasp/Makefile @@ -1,11 +1,11 @@ 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 @@ -16,8 +16,7 @@ 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} 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 |