stack: bump to lts-12.25

diff --git a/lcc/stack.yaml b/lcc/stack.yaml
index 28025831901f2ff4e97a37773b06782756af7d8e..f149361267fcbdc3fe8c846225f2d009fefada4f 100644 (file)
--- a/lcc/stack.yaml
+++ b/lcc/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-10.5
+resolver: lts-12.25
 packages:
 - '.'
 - location: '../treemap'
@@ -13,7 +13,7 @@ packages:
   extra-dep: true
 - location: '../lib'
   extra-dep: true
-- location: '../monad-classes'
+- location: '../localization'
   extra-dep: true
 extra-deps:
-- peano-0.1.0.1
+- monad-classes-0.3.2.2

diff --git a/lib/stack.yaml b/lib/stack.yaml
index a3a37289afc5df09bd6be7a92093d96eec24e5fc..cbcf97b1f8db3eb19be71965aa38db8a8dfd90f3 100644 (file)
--- a/lib/stack.yaml
+++ b/lib/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-10.5
+resolver: lts-12.25
 flags: {}
 packages:
 - '.'