diff --git a/CHANGELOG b/CHANGELOG --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,9 @@ +arduino-copilot (1.7.5) upstream; urgency=medium + + * Update to copilot-3.13. + + -- Joey Hess Tue, 10 Jan 2023 15:28:07 -0400 + arduino-copilot (1.7.4) upstream; urgency=medium * Update to copilot-3.12. diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml --- a/Examples/Blink/stack.yaml +++ b/Examples/Blink/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml --- a/Examples/Button/stack.yaml +++ b/Examples/Button/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/ButtonHold/stack.yaml b/Examples/ButtonHold/stack.yaml --- a/Examples/ButtonHold/stack.yaml +++ b/Examples/ButtonHold/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/EEPROM/stack.yaml b/Examples/EEPROM/stack.yaml --- a/Examples/EEPROM/stack.yaml +++ b/Examples/EEPROM/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/EEPROMrange/stack.yaml b/Examples/EEPROMrange/stack.yaml --- a/Examples/EEPROMrange/stack.yaml +++ b/Examples/EEPROMrange/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/Random/stack.yaml b/Examples/Random/stack.yaml --- a/Examples/Random/stack.yaml +++ b/Examples/Random/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/SerialPort/stack.yaml b/Examples/SerialPort/stack.yaml --- a/Examples/SerialPort/stack.yaml +++ b/Examples/SerialPort/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2 - diff --git a/Examples/WaterHeater/stack.yaml b/Examples/WaterHeater/stack.yaml --- a/Examples/WaterHeater/stack.yaml +++ b/Examples/WaterHeater/stack.yaml @@ -3,28 +3,23 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.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.4 +Version: 1.7.5 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.5), - copilot (== 3.12.*), - copilot-c99 (== 3.12.*), - copilot-language (== 3.12.*), + sketch-frp-copilot (== 1.0.6), + copilot (== 3.13.*), + copilot-c99 (== 3.13.*), + copilot-language (== 3.13.*), filepath, directory, mtl, diff --git a/stack.yaml b/stack.yaml --- a/stack.yaml +++ b/stack.yaml @@ -2,27 +2,23 @@ - '.' resolver: lts-18.9 extra-deps: -- 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 +- sketch-frp-copilot-1.0.6 +- 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 +- bimap-0.5.0 +- bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2 -- language-c99-util-0.2.0 -- optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 -- random-1.1 - what4-1.3 - bitwise-1.0.0.1 -- config-value-0.8.1 -- versions-4.0.3 +- config-value-0.8.3 +- language-c99-util-0.2.0 - zenc-0.1.2 -- bv-sized-1.0.2