diff options
| author | arrowd <arrowd@FreeBSD.org> | 2018-08-10 17:24:41 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2018-08-10 17:24:41 +0800 |
| commit | e5ffb2ca1357854440fa6fe7c69627363570abf9 (patch) | |
| tree | 27dee9b19ad84f4a47d619673b298052ed8ef780 /math/cryptominisat | |
| parent | fc0d67d9adbb671e23e335810789ea07cef95c7e (diff) | |
| download | freebsd-ports-gnome-e5ffb2ca1357854440fa6fe7c69627363570abf9.tar.gz freebsd-ports-gnome-e5ffb2ca1357854440fa6fe7c69627363570abf9.tar.zst freebsd-ports-gnome-e5ffb2ca1357854440fa6fe7c69627363570abf9.zip | |
math/cryptominisat: Update to 5.6.3.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16645
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 |