~ salmonella-environment-setup (master) 4f091806cc28d621745b1fb422f5e5bebe29c6b4

commit 4f091806cc28d621745b1fb422f5e5bebe29c6b4
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Fri Jun 23 23:15:58 2017 +0200
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Fri Jun 23 23:15:58 2017 +0200

    debian-jessie.sh: update cryptlib
    
    The zip file for the previous version has been removed from the FTP
    site.

diff --git a/debian-jessie.sh b/debian-jessie.sh
index e32d581..3aee34f 100755
--- a/debian-jessie.sh
+++ b/debian-jessie.sh
@@ -203,11 +203,11 @@ sudo bash install_dev
 
 mkdir -p $tmpdir/cryptlib
 cd $tmpdir/cryptlib
-wget ftp://ftp.franken.de/pub/crypt/cryptlib/cl342.zip
-unzip -a cl342.zip
+wget ftp://ftp.franken.de/pub/crypt/cryptlib/cl3431.zip
+unzip -a cl3431.zip
 make
 make shared
-sudo cp libcl.a libcl.so.3.4.2 /usr/local/lib/
+sudo cp libcl.a libcl.so.3.* /usr/local/lib/
 sudo cp *.h /usr/local/include/