1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00

math/clasp: Update to 3.3.9

Changes: https://github.com/potassco/clasp/releases/tag/v3.3.9
This commit is contained in:
Vsevolod Stakhov 2023-09-05 10:34:18 +00:00
parent 6a5b0380b3
commit edf8c43fb1
2 changed files with 8 additions and 9 deletions

View File

@ -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}

View File

@ -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