copilot 2.0.9 → 2.1.0

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~copilot-librariesPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot-libraries

API changes (from Hackage documentation)

Files

• copilot.cabal +2/−2

@@ -1,5 +1,5 @@ name:                copilot-version:             2.0.9+version:             2.1.0 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -40,7 +40,7 @@                        base >= 4.0 && <5                      , copilot-core >= 0.2.3                      , copilot-language >= 0.4-                     , copilot-libraries+                     , copilot-libraries >= 0.4                      , copilot-cbmc     exposed-modules: Language.Copilot