Merge pull request #4604 from tuncer/patch-1

stack: update to build with 8.4.4
idris-lang · Dec 7, 2018 · 47e63f3 · 47e63f3
2 parents 8f66bed + 242b40e
commit 47e63f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stack.yaml b/stack.yaml
@@ -1,5 +1,5 @@
 #recheck extra-deps next on resolver or cabal file change
-resolver: lts-11.14
+resolver: lts-12.21
 
 packages:
   - location: .