copilot 2.1.1 → 2.1.2
raw patch · 2 files changed
+17/−11 lines, 2 filesdep ~basedep ~copilot-c99dep ~copilot-cbmcPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, copilot-c99, copilot-cbmc, copilot-core, copilot-language, copilot-libraries
API changes (from Hackage documentation)
Files
- README.md +2/−0
- copilot.cabal +15/−11
README.md view
@@ -1,3 +1,5 @@+[](https://travis-ci.org/leepike/Copilot)+ Copilot: a stream DSL ==================================== Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 2.1.1+version: 2.1.2 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -37,10 +37,14 @@ -caf-all -fno-warn-orphans build-depends:- base >= 4.0 && <= 5.0- , copilot-core >= 0.2.3- , copilot-language >= 0.4- , copilot-libraries >= 0.4+ base >= 4.0 && < 5+ , copilot-core >= 2.1.2+ , copilot-language >= 2.1.2+ , copilot-libraries >= 2.1.1+ , copilot-sbv >= 0.6+ , copilot-cbmc >= 2.1.2+ , copilot-c99 >= 2.1.2+ -- , copilot-cbmc exposed-modules: Language.Copilot @@ -50,13 +54,13 @@ ghc-options : -Wall -fwarn-tabs main-is : Test.hs build-depends:- base >= 4.0- , copilot-core- , copilot-language- , copilot-libraries+ base >= 4.0 && < 5+ , copilot-core >= 2.1.2+ , copilot-language >= 2.1.2+ , copilot-libraries >= 2.1.1 , copilot-sbv >= 0.6- , copilot-cbmc- , copilot-c99 >= 0.2+ , copilot-cbmc >= 2.1.2+ , copilot-c99 >= 2.1.2 , directory >= 1.1 , random other-modules: AddMult