Merge pull request tamarin-prover#459 from kmilner/ghc-9

Update to stack GHC 9.0.2 resolver
yavivanov · Apr 29, 2022 · 8f00a71 · 8f00a71
2 parents ba7f2b8 + f48e24f
commit 8f00a71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stack.yaml b/stack.yaml
@@ -5,6 +5,6 @@ packages:
 - lib/term/
 - lib/utils/
 - lib/sapic/
-resolver: lts-18.13
+resolver: lts-19.2
 nix:
   packages: [ zlib ]