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