diff --git a/CHANGELOG b/CHANGELOG --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,10 @@ +zephyr-copilot (1.0.7) unstable; 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 Fri, 13 Jan 2023 15:15:30 -0400 + zephyr-copilot (1.0.6) unstable; urgency=medium * Update to copilot-3.13. diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml --- a/Examples/Blink/stack.yaml +++ b/Examples/Blink/stack.yaml @@ -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 diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml --- a/Examples/Button/stack.yaml +++ b/Examples/Button/stack.yaml @@ -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 diff --git a/Examples/Feather/stack.yaml b/Examples/Feather/stack.yaml --- a/Examples/Feather/stack.yaml +++ b/Examples/Feather/stack.yaml @@ -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 diff --git a/stack.yaml b/stack.yaml --- a/stack.yaml +++ b/stack.yaml @@ -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 diff --git a/zephyr-copilot.cabal b/zephyr-copilot.cabal --- a/zephyr-copilot.cabal +++ b/zephyr-copilot.cabal @@ -1,5 +1,5 @@ Name: zephyr-copilot -Version: 1.0.6 +Version: 1.0.7 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess @@ -72,7 +72,7 @@ Copilot.Zephyr.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.*),