Tested with GHC 8.10.5.

asr · asr · commit eadc43203f21 · 2021-06-19T09:02:49.000-05:00
diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
@@ -34,7 +34,7 @@ jobs:
         include:
           - compiler: ghc-9.0.1
             allow-failure: false
-          - compiler: ghc-8.10.4
+          - compiler: ghc-8.10.5
             allow-failure: false
           - compiler: ghc-8.8.4
             allow-failure: false
diff --git a/agda-stdlib-utils.cabal b/agda-stdlib-utils.cabal
@@ -9,7 +9,7 @@ tested-with:     GHC == 8.0.2
                  GHC == 8.4.4
                  GHC == 8.6.5
                  GHC == 8.8.4
-                 GHC == 8.10.4
+                 GHC == 8.10.5
                  GHC == 9.0.1
 
 executable GenerateEverything
diff --git a/stack-8.10.4.yaml b/stack-8.10.4.yaml
diff --git a/stack-8.10.5.yaml b/stack-8.10.5.yaml
@@ -0,0 +1,10 @@
+resolver: lts-18.0
+compiler: ghc-8.10.5
+compiler-check: match-exact
+
+# extra-deps:
+#   - filemanip-0.3.6.3
+#   - unix-compat-0.5.2
+
+packages:
+- '.'
