academic/cryptominisat: Fix MD5SUM.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Willy Sudiarto Raharjo 2018-12-26 02:34:59 +07:00
parent 2e09105db9
commit fa711176ab
No known key found for this signature in database
GPG key ID: 887B8374D7333381

View file

@ -2,7 +2,7 @@ PRGNAM="cryptominisat"
VERSION="5.6.6"
HOMEPAGE="https://www.msoos.org/cryptominisat5/"
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.6.6/cryptominisat-5.6.6.tar.gz"
MD5SUM="cce64bfd256700e96baee90b7bdfe77"
MD5SUM="cce64bfd256700e96baee90b7bdfe770"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""