arduino-copilot 1.7.2 → 1.7.3

raw patch · 11 files changed

+110/−96 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 +11/−10
• Examples/Button/stack.yaml +11/−10
• Examples/ButtonHold/stack.yaml +11/−10
• Examples/EEPROM/stack.yaml +11/−10
• Examples/EEPROMrange/stack.yaml +11/−10
• Examples/Random/stack.yaml +11/−10
• Examples/SerialPort/stack.yaml +11/−10
• Examples/WaterHeater/stack.yaml +11/−10
• arduino-copilot.cabal +5/−5
• stack.yaml +11/−11

@@ -1,3 +1,9 @@+arduino-copilot (1.7.3) upstream; urgency=medium++  * Update to copilot-3.11.++ -- Joey Hess <id@joeyh.name>  Thu, 08 Sep 2022 10:05:21 -0400+ arduino-copilot (1.7.2) upstream; urgency=medium    * Update to copilot-3.10.

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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

@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.2+Version: 1.7.3 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.3),-    copilot (== 3.10.*),-    copilot-c99 (== 3.10.*),-    copilot-language (== 3.10.*),+    sketch-frp-copilot (== 1.0.4),+    copilot (== 3.11.*),+    copilot-c99 (== 3.11.*),+    copilot-language (== 3.11.*),     filepath,     directory,     mtl,

@@ -2,18 +2,19 @@ - '.' resolver: lts-18.9 extra-deps:-- 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+- sketch-frp-copilot-1.0.4+- copilot-3.11+- copilot-c99-3.11+- copilot-core-3.11+- copilot-language-3.11+- copilot-libraries-3.11+- copilot-theorem-3.11+- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3-- language-c99-0.1.2-- language-c99-simple-0.1.2-- language-c99-util-0.1.1+- 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@@ -24,4 +25,3 @@ - versions-4.0.3 - zenc-0.1.2 - bv-sized-1.0.2-explicit-setup-deps: