diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2023-07-01 13:12:37 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2023-07-01 13:37:49 +0000 |
commit | eade3b3c0ec580098d31558eb86b07888805d492 (patch) | |
tree | 0b52c602cd3c532ea7491907f2f813f72d3d0b6d | |
parent | 0bf61c9a3421c6d08dbae2da0820ef5d3379139e (diff) | |
download | ports-eade3b3c0ec580098d31558eb86b07888805d492.tar.gz ports-eade3b3c0ec580098d31558eb86b07888805d492.zip |
math/cryptominisat: Update to 5.11.11
Reported by: portscout!
-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 8cc5109b6796..2bf7d83d01f8 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.4 -PORTREVISION= 2 +DISTVERSION= 5.11.11 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index d125993e4f6e..14d72ab917ac 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1665824287 -SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 -SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 +TIMESTAMP = 1688199521 +SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc +SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869 |