diff --git a/.github/workflows/cabal.yml b/.github/workflows/cabal.yml
index 03d803d..ca42baf 100644
--- a/.github/workflows/cabal.yml
+++ b/.github/workflows/cabal.yml
@@ -10,11 +10,11 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        cabal: ["3.6"]
+        cabal: ["3.10"]
         ghc:
           - "8.2.2"
           # - "8.10.7" is built and tested by the stan action.
-          - "9.2.3"
+          - "9.2.8"
 
     steps:
       - uses: actions/checkout@v2
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
index a7c2dae..60c71f7 100644
--- a/.github/workflows/stack.yml
+++ b/.github/workflows/stack.yml
@@ -9,9 +9,9 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        cabal: ["3.6"]
+        cabal: ["3.10"]
         ghc:
-          - "9.2.3"
+          - "9.2.8"
 
     steps:
       - uses: actions/checkout@v2
diff --git a/stack-blobs.yaml b/stack-blobs.yaml
index ec33cb6..5d73c91 100644
--- a/stack-blobs.yaml
+++ b/stack-blobs.yaml
@@ -1,4 +1,4 @@
-resolver: nightly-2022-08-29
+resolver: lts-20.26
 install-ghc: false
 system-ghc: true
 packages:
diff --git a/stack-blobs.yaml.lock b/stack-blobs.yaml.lock
index 20a44f8..8fd5b75 100644
--- a/stack-blobs.yaml.lock
+++ b/stack-blobs.yaml.lock
@@ -13,7 +13,7 @@ packages:
     hackage: ghc-corroborate-1.0.0@sha256:60e580741703235dc81232c41b6a7b29b5cf5e337c92ef1745509e8abf22d2b5,3855
 snapshots:
 - completed:
-    sha256: f14a1083bc537cad9e94fdb625ff3a874aee5cb1eb33e5b6271e7b5a557de7fb
-    size: 631956
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2022/8/29.yaml
-  original: nightly-2022-08-29
+    sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
+    size: 650475
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
+  original: lts-20.26
diff --git a/stack.yaml b/stack.yaml
index 2651414..8de5e2c 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: nightly-2022-07-10
+resolver: lts-20.26
 packages:
 - build
 - simple-smt
diff --git a/stack.yaml.lock b/stack.yaml.lock
index e11d2b5..8fd5b75 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -7,13 +7,13 @@ packages:
 - completed:
     hackage: ghc-corroborate-1.0.0@sha256:60e580741703235dc81232c41b6a7b29b5cf5e337c92ef1745509e8abf22d2b5,3855
     pantry-tree:
-      size: 4120
       sha256: 92677e4f5b9145fc1e67bdb5843f699a4d17ea36aa08d5e99fe88a7065b539ea
+      size: 4120
   original:
     hackage: ghc-corroborate-1.0.0@sha256:60e580741703235dc81232c41b6a7b29b5cf5e337c92ef1745509e8abf22d2b5,3855
 snapshots:
 - completed:
-    size: 616564
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2022/7/10.yaml
-    sha256: fcf6e0fb5397b1a523ecbf5d40ff702cdff022870eedb545aedb744fb10d1816
-  original: nightly-2022-07-10
+    sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
+    size: 650475
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
+  original: lts-20.26
diff --git a/stack/ghc-9.2.3.yaml b/stack/ghc-9.2.3.yaml
index 4c3c4ac..9069dec 100644
--- a/stack/ghc-9.2.3.yaml
+++ b/stack/ghc-9.2.3.yaml
@@ -1,4 +1,4 @@
-resolver: nightly-2022-07-10
+resolver: lts-20.26
 packages:
 - ../build
 - ../simple-smt