merged

.github/workflows/stack-dry-run.yml

@@ -72,7 +72,7 @@ jobs:
       fail-fast: false
       matrix:
         ghc-ver:
-        - 9.2.5
+        - 9.2.6
         - 9.0.2
         - 8.10.7
         - 8.8.4

Agda.cabal

@@ -36,7 +36,7 @@ description:
 
 tested-with:
     GHC == 9.4.4
-    GHC == 9.2.5
+    GHC == 9.2.6
     GHC == 9.0.2
     GHC == 8.10.7
     GHC == 8.8.4
@@ -86,7 +86,7 @@ extra-doc-files:
 
 extra-source-files:
     stack-9.4.4.yaml
-    stack-9.2.5.yaml
+    stack-9.2.6.yaml
     stack-9.0.2.yaml
     stack-8.10.7.yaml
     stack-8.8.4.yaml

doc/user-manual/getting-started/installation.rst

@@ -38,7 +38,7 @@ You need recent versions of the following programs to compile Agda:
 * GHC:           https://www.haskell.org/ghc/
 
   + Agda has been tested with GHC 8.6.5, 8.8.4,
-    8.10.7, 9.0.2, 9.2.5 and 9.4.4.
+    8.10.7, 9.0.2, 9.2.6 and 9.4.4.
 
 * cabal-install: https://www.haskell.org/cabal/
 * Alex:          https://www.haskell.org/alex/

src/github/workflows/stack-dry-run.yml

@@ -46,7 +46,7 @@ jobs:
         os: [ubuntu-latest]
         stack-ver: ['latest']
         # Only LTS versions here:
-        ghc-ver: [9.2.5, 9.0.2, 8.10.7, 8.8.4, 8.6.5]
+        ghc-ver: [9.2.6, 9.0.2, 8.10.7, 8.8.4, 8.6.5]
           # Andreas, 2022-03-26:
           # Note: ghc-ver needs to be spelled out with minor version, i.e., x.y.z
           # rather than x.y (which haskell-setup would resolve to a suitable .z)

stack-9.2.5.yaml → stack-9.2.6.yaml

@@ -1,11 +1,11 @@
-resolver: lts-20.4
-compiler: ghc-9.2.5
+resolver: lts-20.12
+compiler: ghc-9.2.6
 compiler-check: match-exact
 
-extra-deps:
-- vector-hashtables-0.1.1.1
-
-# Local packages, usually specified by relative directory name
+# Local packages specified by relative directory name.
 packages:
 - '.'
 - 'src/size-solver'
+
+extra-deps:
+- vector-hashtables-0.1.1.1