arduino-copilot 1.7.3 → 1.7.4
raw patch · 11 files changed
+101/−86 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 +10/−9
- Examples/Button/stack.yaml +10/−9
- Examples/ButtonHold/stack.yaml +10/−9
- Examples/EEPROM/stack.yaml +10/−9
- Examples/EEPROMrange/stack.yaml +10/−9
- Examples/Random/stack.yaml +10/−9
- Examples/SerialPort/stack.yaml +10/−9
- Examples/WaterHeater/stack.yaml +10/−9
- arduino-copilot.cabal +5/−5
- stack.yaml +10/−9
CHANGELOG view
@@ -1,3 +1,9 @@+arduino-copilot (1.7.4) upstream; urgency=medium++ * Update to copilot-3.12.++ -- Joey Hess <id@joeyh.name> Mon, 14 Nov 2022 15:17:10 -0400+ arduino-copilot (1.7.3) upstream; urgency=medium * Update to copilot-3.11.
Examples/Blink/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/Button/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/ButtonHold/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/EEPROM/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/EEPROMrange/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/Random/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/SerialPort/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
Examples/WaterHeater/stack.yaml view
@@ -3,14 +3,15 @@ - '../..' resolver: lts-18.9 extra-deps: -- 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+- 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 - language-c99-0.2.0@@ -20,7 +21,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.3+Version: 1.7.4 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.4),- copilot (== 3.11.*),- copilot-c99 (== 3.11.*),- copilot-language (== 3.11.*),+ sketch-frp-copilot (== 1.0.5),+ copilot (== 3.12.*),+ copilot-c99 (== 3.12.*),+ copilot-language (== 3.12.*), filepath, directory, mtl,
stack.yaml view
@@ -2,14 +2,15 @@ - '.' resolver: lts-18.9 extra-deps:-- 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+- 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 - language-c99-0.2.0@@ -19,7 +20,7 @@ - panic-0.4.0.1 - parameterized-utils-2.1.3.0 - random-1.1-- what4-1.1+- what4-1.3 - bitwise-1.0.0.1 - config-value-0.8.1 - versions-4.0.3