jbigi: Update GMP version (ticket #1840)

This commit is contained in:
zzz
2017-01-19 16:18:30 +00:00
parent 7b0a5bcd5a
commit e47c628891

View File

@@ -1,7 +1,7 @@
#!/bin/sh
export GMP_VER=6.0.0
export GMP_TARVER=${GMP_VER}a
export GMP_VER=6.1.2
export GMP_TARVER=${GMP_VER}
export GMP_DIR="gmp-$GMP_VER"
export GMP_TAR="gmp-$GMP_TARVER.tar.bz2"