copilot-libraries 3.2.1 → 3.3

raw patch · 3 files changed

+12/−9 lines, 3 filesdep ~copilot-languagePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot-language

API changes (from Hackage documentation)

Files

• CHANGELOG +6/−3
• README.md +2/−2
• copilot-libraries.cabal +4/−4

@@ -1,10 +1,13 @@+2021-05-07+        * Version bump (3.3). (#217)+ 2021-03-07-        * Version bump (3.2.1). (#10)-        * Completed the documentation. (#9)+        * Version bump (3.2.1). (#126)+        * Completed the documentation. (#127)  2020-12-06         * Version bump (3.2).-        * Update description, bug-reports, homepage fields in cabal file (#7).+        * Update description, bug-reports, homepage fields in cabal file (#129).  2019-11-22 Ivan Perez <ivan.perez@nianet.org>         * Version bump (3.1).

@@ -1,4 +1,4 @@-[![Build Status](https://travis-ci.org/Copilot-Language/copilot-libraries.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-libraries)+[![Build Status](https://travis-ci.org/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot)  # Copilot: a stream DSL User-supplied libraries for Copilot, including linear-temporal logic,@@ -30,4 +30,4 @@  ## License Copilot is distributed under the BSD-3-Clause license, which can be found-[here](https://raw.githubusercontent.com/Copilot-Language/copilot-libraries/master/LICENSE).+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/LICENSE).

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-libraries-version:             3.2.1+version:             3.3 synopsis:            Libraries for the Copilot language. description:   Libraries for the Copilot language.@@ -18,7 +18,7 @@                      Sebastian Niller, Nis Nordby Wegmann maintainer:          Frank Dedden <dev@dedden.net> homepage:            https://copilot-language.github.io-bug-reports:         https://github.com/Copilot-Language/copilot-libraries/issues+bug-reports:         https://github.com/Copilot-Language/copilot/issues stability:           Experimental category:            Language, Embedded build-type:          Simple@@ -26,7 +26,7 @@  source-repository head     type:       git-    location:   git://github.com/Copilot-Language/copilot-libraries.git+    location:   git://github.com/Copilot-Language/copilot.git  library   default-language: Haskell2010@@ -40,7 +40,7 @@                , data-reify       >= 0.6 && < 0.7                , mtl              >= 2.0 && < 2.3                , parsec           >= 2.0 && < 3.2-               , copilot-language >= 3.2.1 && < 3.3+               , copilot-language >= 3.3 && < 3.4    exposed-modules:       Copilot.Library.Libraries