git: edf8c43fb1c2 - main - math/clasp: Update to 3.3.9
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 05 Sep 2023 10:41:57 UTC
The branch main has been updated by vsevolod:
URL: https://cgit.FreeBSD.org/ports/commit/?id=edf8c43fb1c22cae1de84baa0d2c841f7331b96c
commit edf8c43fb1c22cae1de84baa0d2c841f7331b96c
Author: Vsevolod Stakhov <vsevolod@FreeBSD.org>
AuthorDate: 2023-09-05 10:34:18 +0000
Commit: Vsevolod Stakhov <vsevolod@FreeBSD.org>
CommitDate: 2023-09-05 10:41:53 +0000
math/clasp: Update to 3.3.9
Changes: https://github.com/potassco/clasp/releases/tag/v3.3.9
---
math/clasp/Makefile | 7 +++----
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