Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 9 Dec 2020 05:00:30 +0000 (UTC)
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r557347 - head/math/clingo
Message-ID:  <202012090500.0B950UT3007905@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: yuri
Date: Wed Dec  9 05:00:29 2020
New Revision: 557347
URL: https://svnweb.freebsd.org/changeset/ports/557347

Log:
  math/clingo: Update 5.4.0 -> 5.4.1
  
  Reported by:	portscout

Modified:
  head/math/clingo/Makefile
  head/math/clingo/distinfo

Modified: head/math/clingo/Makefile
==============================================================================
--- head/math/clingo/Makefile	Wed Dec  9 04:50:45 2020	(r557346)
+++ head/math/clingo/Makefile	Wed Dec  9 05:00:29 2020	(r557347)
@@ -2,7 +2,7 @@
 
 PORTNAME=	clingo
 DISTVERSIONPREFIX=	v
-DISTVERSION=	5.4.0
+DISTVERSION=	5.4.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -16,7 +16,9 @@ BUILD_DEPENDS=	re2c:devel/re2c
 USES=		cmake compiler:c++14-lang
 USE_GITHUB=	yes
 GH_ACCOUNT=	potassco
-GH_TUPLE=	potassco:clasp:c183473:clasp/clasp
+GH_TUPLE=	potassco:clasp:b089aa1509511ab403c0b9abd0d13eb9e873af44:potassco_clasp/clasp \
+		potassco:libpotassco:2f9fb7ca2c202f1b47643aa414054f2f4f9c1821:potassco_libpotassco/clasp/libpotassco
+
 USE_LDCONFIG=	yes
 
 CMAKE_OFF=	CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178

Modified: head/math/clingo/distinfo
==============================================================================
--- head/math/clingo/distinfo	Wed Dec  9 04:50:45 2020	(r557346)
+++ head/math/clingo/distinfo	Wed Dec  9 05:00:29 2020	(r557347)
@@ -1,5 +1,7 @@
-TIMESTAMP = 1573875509
-SHA256 (potassco-clingo-v5.4.0_GH0.tar.gz) = e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3
-SIZE (potassco-clingo-v5.4.0_GH0.tar.gz) = 2822810
-SHA256 (potassco-clasp-c183473_GH0.tar.gz) = 04e9660309832a0c7627970fce605b3da8755858f33d39b6e132ad62eaa126db
-SIZE (potassco-clasp-c183473_GH0.tar.gz) = 621447
+TIMESTAMP = 1607489618
+SHA256 (potassco-clingo-v5.4.1_GH0.tar.gz) = ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02
+SIZE (potassco-clingo-v5.4.1_GH0.tar.gz) = 2822845
+SHA256 (potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz) = ab2ac6601292619f94831065ee5c009f3168e14be52a65df7b9abdc20a1fc33f
+SIZE (potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz) = 627136
+SHA256 (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 41eb8b7d87ecea48392de4ada455cda179cbd62fd63496355dea87e1e44b599f
+SIZE (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 210177



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202012090500.0B950UT3007905>