diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-11 13:07:10 +0300 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-11 13:07:23 +0300 |
| commit | bfae4d84a84ac0e003f7665acfb6aac1a402855e (patch) | |
| tree | 73a699f3066f3c93efb8333d6b2612000a95c400 | |
| parent | math/cryptominisat: Update to 5.11.21 (diff) | |
math/py-cryptominisat: Update to 5.11.21
| -rw-r--r-- | math/py-cryptominisat/Makefile | 2 | ||||
| -rw-r--r-- | math/py-cryptominisat/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index 308e296cb0ab..94d00bd3f880 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,5 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.11 +DISTVERSION= 5.11.21 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index 6c4375276a38..8362d2b86aba 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1688217189 -SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc -SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869 +TIMESTAMP = 1707645848 +SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b +SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459 |