diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2018-08-10 09:24:41 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2018-08-10 09:24:41 +0000 |
| commit | 19006ddb57ed5e988b41862ed6a75ebfe63a3640 (patch) | |
| tree | 27dee9b19ad84f4a47d619673b298052ed8ef780 /math/py-cryptominisat | |
| parent | 9faa0183f539dcf231ae75138bcaf1460984849e (diff) | |
| download | ports-19006ddb57ed5e988b41862ed6a75ebfe63a3640.tar.gz ports-19006ddb57ed5e988b41862ed6a75ebfe63a3640.zip | |
math/cryptominisat: Update to 5.6.3.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16645
Notes
Notes:
svn path=/head/; revision=476818
Diffstat (limited to 'math/py-cryptominisat')
| -rw-r--r-- | math/py-cryptominisat/Makefile | 3 | ||||
| -rw-r--r-- | math/py-cryptominisat/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index 6bc67e44e442..2674fcf94b80 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.1 -PORTREVISION= 1 +DISTVERSION= 5.6.3 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index fced09a5f3f6..4de18bb7ff3b 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1528628948 -SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa -SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234 +TIMESTAMP = 1533812572 +SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f +SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713 |