diff options
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 91a4e803148a..fced09a5f3f6 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1469896511 -SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 -SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 +TIMESTAMP = 1528628948 +SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa +SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234 |