diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2023-12-29 20:27:15 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2023-12-29 20:27:15 +0000 |
| commit | 7e177f3a6970b3ec7a492220556bf39379321ebe (patch) | |
| tree | e2d9936c82b0cfeb5fafe0d26cd8613d30c17a3f /math/cryptominisat | |
| parent | 8dbbacc797c9416640300b22cb5694a0338d3c40 (diff) | |
| download | ports-7e177f3a6970b3ec7a492220556bf39379321ebe.tar.gz ports-7e177f3a6970b3ec7a492220556bf39379321ebe.zip | |
math/cryptominisat: Update to 5.11.15
Reported by: repology
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 f325f044f788..77292c44893c 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.11 -PORTREVISION= 1 +DISTVERSION= 5.11.15 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 14d72ab917ac..0b600365a921 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1688199521 -SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc -SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869 +TIMESTAMP = 1703881075 +SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0 +SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163 |