arduino-copilot 1.7.4 → 1.7.5
raw patch · 11 files changed
+128/−166 lines, 11 filesdep ~copilotdep ~copilot-c99dep ~copilot-language
Dependency ranges changed: copilot, copilot-c99, copilot-language, sketch-frp-copilot
Files
- CHANGELOG +6/−0
- Examples/Blink/stack.yaml +13/−18
- Examples/Button/stack.yaml +13/−18
- Examples/ButtonHold/stack.yaml +13/−18
- Examples/EEPROM/stack.yaml +13/−18
- Examples/EEPROMrange/stack.yaml +13/−18
- Examples/Random/stack.yaml +13/−18
- Examples/SerialPort/stack.yaml +13/−18
- Examples/WaterHeater/stack.yaml +13/−18
- arduino-copilot.cabal +5/−5
- stack.yaml +13/−17
CHANGELOG view
@@ -1,3 +1,9 @@+arduino-copilot (1.7.5) upstream; urgency=medium++ * Update to copilot-3.13.++ -- Joey Hess <id@joeyh.name> Tue, 10 Jan 2023 15:28:07 -0400+ arduino-copilot (1.7.4) upstream; urgency=medium * Update to copilot-3.12.
Examples/Blink/stack.yaml view
@@ -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-
Examples/Button/stack.yaml view
@@ -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-
Examples/ButtonHold/stack.yaml view
@@ -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-
Examples/EEPROM/stack.yaml view
@@ -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-
Examples/EEPROMrange/stack.yaml view
@@ -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-
Examples/Random/stack.yaml view
@@ -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-
Examples/SerialPort/stack.yaml view
@@ -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-
Examples/WaterHeater/stack.yaml view
@@ -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-
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.4+Version: 1.7.5 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.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,
stack.yaml view
@@ -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