diff --git a/CHANGELOG b/CHANGELOG --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,9 @@ +arduino-copilot (1.7.2) upstream; urgency=medium + + * Update to copilot-3.10. + + -- Joey Hess Tue, 12 Jul 2022 21:45:25 -0400 + arduino-copilot (1.7.1) upstream; urgency=medium * Added byteArray to serial modules, which allows outputting a diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml --- a/Examples/Blink/stack.yaml +++ b/Examples/Blink/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml --- a/Examples/Button/stack.yaml +++ b/Examples/Button/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/ButtonHold/stack.yaml b/Examples/ButtonHold/stack.yaml --- a/Examples/ButtonHold/stack.yaml +++ b/Examples/ButtonHold/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/EEPROM/stack.yaml b/Examples/EEPROM/stack.yaml --- a/Examples/EEPROM/stack.yaml +++ b/Examples/EEPROM/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/EEPROMrange/stack.yaml b/Examples/EEPROMrange/stack.yaml --- a/Examples/EEPROMrange/stack.yaml +++ b/Examples/EEPROMrange/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/Random/stack.yaml b/Examples/Random/stack.yaml --- a/Examples/Random/stack.yaml +++ b/Examples/Random/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/SerialPort/stack.yaml b/Examples/SerialPort/stack.yaml --- a/Examples/SerialPort/stack.yaml +++ b/Examples/SerialPort/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2 diff --git a/Examples/WaterHeater/stack.yaml b/Examples/WaterHeater/stack.yaml --- a/Examples/WaterHeater/stack.yaml +++ b/Examples/WaterHeater/stack.yaml @@ -3,13 +3,13 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.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.1 +Version: 1.7.2 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess @@ -114,10 +114,10 @@ Copilot.Arduino.Main Build-Depends: base (>= 4.5 && < 5), - sketch-frp-copilot (== 1.0.2), - copilot (== 3.9.*), - copilot-c99 (== 3.9.*), - copilot-language (== 3.9.*), + sketch-frp-copilot (== 1.0.3), + copilot (== 3.10.*), + copilot-c99 (== 3.10.*), + copilot-language (== 3.10.*), filepath, directory, mtl, diff --git a/stack.yaml b/stack.yaml --- a/stack.yaml +++ b/stack.yaml @@ -2,13 +2,13 @@ - '.' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.2 -- copilot-3.9 -- copilot-c99-3.9 -- copilot-core-3.9 -- copilot-language-3.9 -- copilot-libraries-3.9 -- copilot-theorem-3.9 +- sketch-frp-copilot-1.0.3 +- copilot-3.10 +- copilot-c99-3.10 +- copilot-core-3.10 +- copilot-language-3.10 +- copilot-libraries-3.10 +- copilot-theorem-3.10 - ansi-terminal-0.9.1 - bimap-0.3.3 - language-c99-0.1.2