diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+arduino-copilot (1.7.7) upstream; urgency=medium
+
+  * Update to copilot-3.14.
+
+ -- Joey Hess <id@joeyh.name>  Thu, 09 Mar 2023 12:20:32 -0400
+
 arduino-copilot (1.7.6) upstream; urgency=medium
 
   * Update to sketch-frp-copilot 1.0.7, to fix building with ghc 9.2
diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml
--- a/Examples/Blink/stack.yaml
+++ b/Examples/Blink/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml
--- a/Examples/Button/stack.yaml
+++ b/Examples/Button/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/ButtonHold/stack.yaml b/Examples/ButtonHold/stack.yaml
--- a/Examples/ButtonHold/stack.yaml
+++ b/Examples/ButtonHold/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/EEPROM/stack.yaml b/Examples/EEPROM/stack.yaml
--- a/Examples/EEPROM/stack.yaml
+++ b/Examples/EEPROM/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/EEPROMrange/stack.yaml b/Examples/EEPROMrange/stack.yaml
--- a/Examples/EEPROMrange/stack.yaml
+++ b/Examples/EEPROMrange/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/Random/stack.yaml b/Examples/Random/stack.yaml
--- a/Examples/Random/stack.yaml
+++ b/Examples/Random/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/SerialPort/stack.yaml b/Examples/SerialPort/stack.yaml
--- a/Examples/SerialPort/stack.yaml
+++ b/Examples/SerialPort/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/Examples/WaterHeater/stack.yaml b/Examples/WaterHeater/stack.yaml
--- a/Examples/WaterHeater/stack.yaml
+++ b/Examples/WaterHeater/stack.yaml
@@ -3,15 +3,15 @@
 - '../..'
 resolver: lts-20.6
 extra-deps: 
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2
diff --git a/arduino-copilot.cabal b/arduino-copilot.cabal
--- a/arduino-copilot.cabal
+++ b/arduino-copilot.cabal
@@ -1,5 +1,5 @@
 Name: arduino-copilot
-Version: 1.7.6
+Version: 1.7.7
 Cabal-Version: >= 1.10
 License: BSD3
 Maintainer: Joey Hess <id@joeyh.name>
@@ -114,10 +114,10 @@
     Copilot.Arduino.Main
   Build-Depends:
     base (>= 4.5 && < 5),
-    sketch-frp-copilot (== 1.0.7),
-    copilot (== 3.13.*),
-    copilot-c99 (== 3.13.*),
-    copilot-language (== 3.13.*),
+    sketch-frp-copilot (== 1.0.8),
+    copilot (== 3.14.*),
+    copilot-c99 (== 3.14.*),
+    copilot-language (== 3.14.*),
     filepath,
     directory,
     mtl,
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -2,15 +2,15 @@
 - '.'
 resolver: lts-20.6
 extra-deps:
-- sketch-frp-copilot-1.0.7
-- copilot-3.13
-- copilot-c99-3.13
-- copilot-core-3.13
-- copilot-language-3.13
-- copilot-libraries-3.13
-- copilot-theorem-3.13
-- copilot-interpreter-3.13
-- copilot-prettyprinter-3.13
+- sketch-frp-copilot-1.0.8
+- copilot-3.14
+- copilot-c99-3.14
+- copilot-core-3.14
+- copilot-language-3.14
+- copilot-libraries-3.14
+- copilot-theorem-3.14
+- copilot-interpreter-3.14
+- copilot-prettyprinter-3.14
 - bv-sized-1.0.4
 - language-c99-0.2.0
 - language-c99-simple-0.2.2