mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
Code Issues Releases Activity

math/{,py-}clingo: update 5.6.2 → 5.7.1

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-04-20 21:00:51 -07:00
parent 2843ce2be2
commit e62d8e4ae7
4 changed files with 29 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
math/clingo/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= clingo
DISTVERSIONPREFIX= v
DISTVERSION= 5.6.2
DISTVERSION= 5.7.1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -17,13 +17,14 @@ USE_LDCONFIG= yes
USE_GITHUB= yes
GH_ACCOUNT= potassco
GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \
catchorg:Catch2:97313f9:catch/third_party/catch \
GH_TUPLE= potassco:clasp:3f3db1e:potassco_clasp/clasp \
catchorg:Catch2:3f0283d:catch/third_party/catch \
ckormanyos:wide-integer:4c9711b:wide_integer/third_party/wide-integer \
mpark:variant:23cb94f:variant/third_party/variant \
TartanLlama:optional:c28fcf7:optional/third_party/optional \
Tessil:hopscotch-map:4442316:hopscotch_map/third_party/hopscotch-map \
Tessil:ordered-map:1619d52:ordered_map/third_party/ordered-map \
Tessil:sparse-map:89d3053:sparse_map/third_party/sparse-map
TartanLlama:optional:3a1209d:optional/third_party/optional \
Tessil:hopscotch-map:d35aa8c:hopscotch_map/third_party/hopscotch-map \
Tessil:ordered-map:0557eb5:ordered_map/third_party/ordered-map \
Tessil:sparse-map:7ab2fa0:sparse_map/third_party/sparse-map
CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178
CMAKE_OFF+= CLINGO_BUILD_WITH_LUA

32
math/clingo/distinfo
View File

@ -1,17 +1,19 @@
TIMESTAMP = 1679293637
SHA256 (potassco-clingo-v5.6.2_GH0.tar.gz) = 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be
SIZE (potassco-clingo-v5.6.2_GH0.tar.gz) = 5079018
SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968
SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863
SHA256 (catchorg-Catch2-97313f9_GH0.tar.gz) = 17678ecd174c70d77111d8dab966db168baa6362ee1e89910a51254e424f40c8
SIZE (catchorg-Catch2-97313f9_GH0.tar.gz) = 1035855
TIMESTAMP = 1713669549
SHA256 (potassco-clingo-v5.7.1_GH0.tar.gz) = 544b76779676075bb4f557f05a015cbdbfbd0df4b2cc925ad976e86870154d81
SIZE (potassco-clingo-v5.7.1_GH0.tar.gz) = 5339983
SHA256 (potassco-clasp-3f3db1e_GH0.tar.gz) = a869aba971379b537bf9cbe606e7976f46251b6280f9f665ae2455e25c66f0ff
SIZE (potassco-clasp-3f3db1e_GH0.tar.gz) = 679164
SHA256 (catchorg-Catch2-3f0283d_GH0.tar.gz) = 1200c09a1fa333db605a04c48269a399f9849fef0ff9f2e151b733b06bb306e9
SIZE (catchorg-Catch2-3f0283d_GH0.tar.gz) = 1102967
SHA256 (ckormanyos-wide-integer-4c9711b_GH0.tar.gz) = 2f62cff1a5ea57ed261c63796847d16c66bc082988720caea35204d93404deee
SIZE (ckormanyos-wide-integer-4c9711b_GH0.tar.gz) = 180804
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d
SIZE (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 22257
SHA256 (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 60266643f4682fd9d476d7e80a29693d9824863a334483ad72ebf8f3b3d41d32
SIZE (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 70706
SHA256 (Tessil-ordered-map-1619d52_GH0.tar.gz) = d84f853910a120b5e81732e9068a457ca1237c2eff7b63e735ad901d2936331c
SIZE (Tessil-ordered-map-1619d52_GH0.tar.gz) = 67442
SHA256 (Tessil-sparse-map-89d3053_GH0.tar.gz) = 9d705edfb2dc6051168a1a1c72dfecc52c06248be2c24cbd64bca39efe9fcc3b
SIZE (Tessil-sparse-map-89d3053_GH0.tar.gz) = 71486
SHA256 (TartanLlama-optional-3a1209d_GH0.tar.gz) = b0bc5e955ed08a181ead21627d012fff5ce3ba015f4762d275cafc412ab1bae7
SIZE (TartanLlama-optional-3a1209d_GH0.tar.gz) = 22265
SHA256 (Tessil-hopscotch-map-d35aa8c_GH0.tar.gz) = 0d3124f61e1144f29ce02074d2930f48a2e57e61f3b211c33ca3a7cac17ebf71
SIZE (Tessil-hopscotch-map-d35aa8c_GH0.tar.gz) = 70742
SHA256 (Tessil-ordered-map-0557eb5_GH0.tar.gz) = 96040c0403595ebfbea01fb0d043d3539ff842ecbf32765619fc61fcf1854991
SIZE (Tessil-ordered-map-0557eb5_GH0.tar.gz) = 69345
SHA256 (Tessil-sparse-map-7ab2fa0_GH0.tar.gz) = f68d10b5b95656f0d1f31a6602d17b0739fca3104e4a609caa06e1a510e8cee1
SIZE (Tessil-sparse-map-7ab2fa0_GH0.tar.gz) = 72227

3
math/py-clingo/Makefile
View File

@ -1,6 +1,5 @@
PORTNAME= clingo
DISTVERSION= 5.6.2
PORTREVISION= 1
DISTVERSION= 5.7.1
CATEGORIES= math python
MASTER_SITES= PYPI
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/py-clingo/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1679294753
SHA256 (clingo-5.6.2.tar.gz) = 7750f6e47bf2e725f93555cc9acd3b10d2ab73c2a3868e9eb6a098df9a6dd755
SIZE (clingo-5.6.2.tar.gz) = 1807345
TIMESTAMP = 1713670274
SHA256 (clingo-5.7.1.tar.gz) = 17400a1894da46b2d4941a4a85012c98fa8b3c67a5c6b4c73dcd8c8facbc059f
SIZE (clingo-5.7.1.tar.gz) = 1866665