diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-12-09 05:00:29 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-12-09 05:00:29 +0000 |
| commit | d815898aaa18008d1e826cd9daf829f8ea7f40b5 (patch) | |
| tree | a2a5747dbfddf22edba4c7f3b3202ea0ec0ce70c /math/clingo | |
| parent | e637824f3efad09a57642df9de1f350c4627149a (diff) | |
math/clingo: Update 5.4.0 -> 5.4.1
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=557347
Diffstat (limited to 'math/clingo')
| -rw-r--r-- | math/clingo/Makefile | 6 | ||||
| -rw-r--r-- | math/clingo/distinfo | 12 |
2 files changed, 11 insertions, 7 deletions
diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 6b29e8827781..abe83ea1f838 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -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 diff --git a/math/clingo/distinfo b/math/clingo/distinfo index c7a5edf358bd..4f288d238b7a 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -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 |