on master help sign in
Bump up libjwt version
848af5bMarcin Rzeźnicki
debian-bootstrap.sh+1−1
@@ -320,7 +320,7 @@ Z3_VER=4.8.8
320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
321)
321)
322
322
323−LIBJWT_VER=1.12.0
323+LIBJWT_VER=1.12.1
324(
324(
325pushd /tmp \
325pushd /tmp \
326 && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \
326 && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \