From 848af5bb3671e2625c18a334003be2ffba2c469d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcin=20Rze=C5=BAnicki?= <marcin.rzeznicki@gmail.com>
Date: Sat, 17 Oct 2020 01:06:40 +0200
Subject: [PATCH] Bump up libjwt version

This will allow `libjwt-typed` into Stackage. See https://github.com/commercialhaskell/stackage/pull/5648
---
 debian-bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 39d630ce..e933760c 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -320,7 +320,7 @@ Z3_VER=4.8.8
     && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
 )
 
-LIBJWT_VER=1.12.0
+LIBJWT_VER=1.12.1
 (
 pushd /tmp \
     && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \