arduino-copilot 1.7.5 → 1.7.6
raw patch · 11 files changed
+36/−38 lines, 11 filesdep ~sketch-frp-copilot
Dependency ranges changed: sketch-frp-copilot
Files
- CHANGELOG +7/−0
- Examples/Blink/stack.yaml +3/−4
- Examples/Button/stack.yaml +3/−4
- Examples/ButtonHold/stack.yaml +3/−4
- Examples/EEPROM/stack.yaml +3/−4
- Examples/EEPROMrange/stack.yaml +3/−4
- Examples/Random/stack.yaml +3/−4
- Examples/SerialPort/stack.yaml +3/−4
- Examples/WaterHeater/stack.yaml +3/−4
- arduino-copilot.cabal +2/−2
- stack.yaml +3/−4
CHANGELOG view
@@ -1,3 +1,10 @@+arduino-copilot (1.7.6) upstream; urgency=medium++ * Update to sketch-frp-copilot 1.0.7, to fix building with ghc 9.2+ * Update stack.yaml files to lts-20.6++ -- Joey Hess <id@joeyh.name> Fri, 13 Jan 2023 15:12:57 -0400+ arduino-copilot (1.7.5) upstream; urgency=medium * Update to copilot-3.13.
Examples/Blink/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/Button/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/ButtonHold/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/EEPROM/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/EEPROMrange/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/Random/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/SerialPort/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
Examples/WaterHeater/stack.yaml view
@@ -1,9 +1,9 @@ packages: - '.' - '../..'-resolver: lts-18.9+resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -12,12 +12,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.5+Version: 1.7.6 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess <id@joeyh.name>@@ -114,7 +114,7 @@ Copilot.Arduino.Main Build-Depends: base (>= 4.5 && < 5),- sketch-frp-copilot (== 1.0.6),+ sketch-frp-copilot (== 1.0.7), copilot (== 3.13.*), copilot-c99 (== 3.13.*), copilot-language (== 3.13.*),
stack.yaml view
@@ -1,8 +1,8 @@ packages: - '.'-resolver: lts-18.9+resolver: lts-20.6 extra-deps:-- sketch-frp-copilot-1.0.6+- sketch-frp-copilot-1.0.7 - copilot-3.13 - copilot-c99-3.13 - copilot-core-3.13@@ -11,12 +11,11 @@ - 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 - panic-0.4.0.1-- parameterized-utils-2.1.3.0+- parameterized-utils-2.1.6.0 - what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.3