diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-cryptominisat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat index a7a15520c..ff4bff81c 100755 --- a/contrib/get-cryptominisat +++ b/contrib/get-cryptominisat @@ -7,7 +7,7 @@ if [ -e cryptominisat5 ]; then exit 1 fi -version="5.0.2" +version="5.6.3" mkdir cryptominisat5 cd cryptominisat5 |