point jose version to 0.8.0.0 on github (closes #983) (#1202)

2026-05-25 18:32:23 +08:00 · 2018-12-14 04:21:29 +00:00
parent 708a29fc89
commit 2bcec7dca9
1 changed files with 4 additions and 0 deletions
--- a/server/stack.yaml
+++ b/server/stack.yaml
@@ -27,6 +27,10 @@ extra-deps:
 - deferred-folds-0.9.9
 - primitive-0.6.4.0

+# jose for the x5t bugfix (0.8.0.0)
+- git: https://github.com/frasertweedale/hs-jose.git
+  commit: d47572fb0650ac6cc2c9e00711c7f99132d897cb
+

 # Override default flag values for local packages and extra-deps
 flags: {}