git.iko.soy/stackage
on master help sign in
Merge pull request #5696 from marcin-rzeznicki/master
3a7e1a8Chris Dornan
debian-bootstrap.sh+1−1
compare with master
unifiedsplit
@@ -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 \