diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+zephyr-copilot (1.0.5) unstable; urgency=medium
+
+  * Update to copilot-3.12.
+
+ -- Joey Hess <id@joeyh.name>  Mon, 14 Nov 2022 15:22:15 -0400
+
 zephyr-copilot (1.0.4) upstream; urgency=medium
 
   * Update to copilot-3.11.
diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml
--- a/Examples/Blink/stack.yaml
+++ b/Examples/Blink/stack.yaml
@@ -3,14 +3,15 @@
 - '../..'
 resolver: lts-18.9
 extra-deps: 
-- sketch-frp-copilot-1.0.4
-- copilot-3.11
-- copilot-c99-3.11
-- copilot-core-3.11
-- copilot-language-3.11
-- copilot-libraries-3.11
-- copilot-theorem-3.11
-- copilot-interpreter-3.11
+- sketch-frp-copilot-1.0.5
+- copilot-3.12
+- copilot-c99-3.12
+- copilot-core-3.12
+- copilot-language-3.12
+- copilot-libraries-3.12
+- copilot-theorem-3.12
+- copilot-interpreter-3.12
+- copilot-prettyprinter-3.12
 - ansi-terminal-0.9.1
 - bimap-0.3.3
 - language-c99-0.2.0
@@ -20,7 +21,7 @@
 - panic-0.4.0.1
 - parameterized-utils-2.1.3.0
 - random-1.1
-- what4-1.1
+- what4-1.3
 - bitwise-1.0.0.1
 - config-value-0.8.1
 - versions-4.0.3
diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml
--- a/Examples/Button/stack.yaml
+++ b/Examples/Button/stack.yaml
@@ -3,14 +3,15 @@
 - '../..'
 resolver: lts-18.9
 extra-deps: 
-- sketch-frp-copilot-1.0.4
-- copilot-3.11
-- copilot-c99-3.11
-- copilot-core-3.11
-- copilot-language-3.11
-- copilot-libraries-3.11
-- copilot-theorem-3.11
-- copilot-interpreter-3.11
+- sketch-frp-copilot-1.0.5
+- copilot-3.12
+- copilot-c99-3.12
+- copilot-core-3.12
+- copilot-language-3.12
+- copilot-libraries-3.12
+- copilot-theorem-3.12
+- copilot-interpreter-3.12
+- copilot-prettyprinter-3.12
 - ansi-terminal-0.9.1
 - bimap-0.3.3
 - language-c99-0.2.0
@@ -20,7 +21,7 @@
 - panic-0.4.0.1
 - parameterized-utils-2.1.3.0
 - random-1.1
-- what4-1.1
+- what4-1.3
 - bitwise-1.0.0.1
 - config-value-0.8.1
 - versions-4.0.3
diff --git a/Examples/Feather/stack.yaml b/Examples/Feather/stack.yaml
--- a/Examples/Feather/stack.yaml
+++ b/Examples/Feather/stack.yaml
@@ -3,14 +3,15 @@
 - '../..'
 resolver: lts-18.9
 extra-deps: 
-- sketch-frp-copilot-1.0.4
-- copilot-3.11
-- copilot-c99-3.11
-- copilot-core-3.11
-- copilot-language-3.11
-- copilot-libraries-3.11
-- copilot-theorem-3.11
-- copilot-interpreter-3.11
+- sketch-frp-copilot-1.0.5
+- copilot-3.12
+- copilot-c99-3.12
+- copilot-core-3.12
+- copilot-language-3.12
+- copilot-libraries-3.12
+- copilot-theorem-3.12
+- copilot-interpreter-3.12
+- copilot-prettyprinter-3.12
 - ansi-terminal-0.9.1
 - bimap-0.3.3
 - language-c99-0.2.0
@@ -20,7 +21,7 @@
 - panic-0.4.0.1
 - parameterized-utils-2.1.3.0
 - random-1.1
-- what4-1.1
+- what4-1.3
 - bitwise-1.0.0.1
 - config-value-0.8.1
 - versions-4.0.3
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -2,14 +2,15 @@
 - '.'
 resolver: lts-18.9
 extra-deps:
-- sketch-frp-copilot-1.0.4
-- copilot-3.11
-- copilot-c99-3.11
-- copilot-core-3.11
-- copilot-language-3.11
-- copilot-libraries-3.11
-- copilot-theorem-3.11
-- copilot-interpreter-3.11
+- sketch-frp-copilot-1.0.5
+- copilot-3.12
+- copilot-c99-3.12
+- copilot-core-3.12
+- copilot-language-3.12
+- copilot-libraries-3.12
+- copilot-theorem-3.12
+- copilot-interpreter-3.12
+- copilot-prettyprinter-3.12
 - ansi-terminal-0.9.1
 - bimap-0.3.3
 - language-c99-0.2.0
@@ -19,7 +20,7 @@
 - panic-0.4.0.1
 - parameterized-utils-2.1.3.0
 - random-1.1
-- what4-1.1
+- what4-1.3
 - bitwise-1.0.0.1
 - config-value-0.8.1
 - versions-4.0.3
diff --git a/zephyr-copilot.cabal b/zephyr-copilot.cabal
--- a/zephyr-copilot.cabal
+++ b/zephyr-copilot.cabal
@@ -1,5 +1,5 @@
 Name: zephyr-copilot
-Version: 1.0.4
+Version: 1.0.5
 Cabal-Version: >= 1.10
 License: BSD3
 Maintainer: Joey Hess <id@joeyh.name>
@@ -72,10 +72,10 @@
     Copilot.Zephyr.Main
   Build-Depends:
     base (>= 4.5 && < 5),
-    sketch-frp-copilot (== 1.0.4),
-    copilot (== 3.11.*),
-    copilot-c99 (== 3.11.*),
-    copilot-language (== 3.11.*),
+    sketch-frp-copilot (== 1.0.5),
+    copilot (== 3.12.*),
+    copilot-c99 (== 3.12.*),
+    copilot-language (== 3.12.*),
     filepath,
     directory,
     mtl,