diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2022-10-15 15:48:17 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-10-15 15:48:57 +0000 |
| commit | 136715764ee3717cc4efa9eafa2ee34a3ab55792 (patch) | |
| tree | 086849e2af4285b2ea13f7fba2628b626f1bcc75 /math/py-cryptominisat/distinfo | |
| parent | e836df42f75cbdb4798b63c8ccbaa19960a883f3 (diff) | |
| download | ports-136715764ee3717cc4efa9eafa2ee34a3ab55792.tar.gz ports-136715764ee3717cc4efa9eafa2ee34a3ab55792.zip | |
Diffstat (limited to 'math/py-cryptominisat/distinfo')
| -rw-r--r-- | math/py-cryptominisat/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index c49eb7f98c01..f50c3c436244 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603119332 -SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94 -SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785 +TIMESTAMP = 1665824399 +SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 +SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 |