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/cryptominisat | |
| parent | 9faa0183f539dcf231ae75138bcaf1460984849e (diff) | |
| download | ports-19006ddb57ed5e988b41862ed6a75ebfe63a3640.tar.gz ports-19006ddb57ed5e988b41862ed6a75ebfe63a3640.zip | |
Notes
Diffstat (limited to 'math/cryptominisat')
| -rw-r--r-- | math/cryptominisat/Makefile | 3 | ||||
| -rw-r--r-- | math/cryptominisat/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index aa98c1e6c0b1..831e181b7dcb 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.1 -PORTREVISION= 2 +DISTVERSION= 5.6.3 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 7154c417aef1..ba51ff15381b 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1528624412 -SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa -SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234 +TIMESTAMP = 1533812522 +SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f +SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713 |