copilot-libraries 3.4 → 3.5
raw patch · 3 files changed
+13/−5 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 +7/−0
- README.md +1/−1
- copilot-libraries.cabal +5/−4
CHANGELOG view
@@ -1,3 +1,10 @@+2021-08-19+ * Version bump (3.5). (#247)+ * Update travis domain in README. (#222)+ * Update official maintainer. (#236)+ * Update source repo location. (#241)+ * Add I. Perez to author list. (#243)+ 2021-07-07 * Version bump (3.4). (#231)
README.md view
@@ -1,4 +1,4 @@-[](https://travis-ci.org/Copilot-Language/copilot)+[](https://travis-ci.com/Copilot-Language/copilot) # Copilot: a stream DSL User-supplied libraries for Copilot, including linear-temporal logic,
copilot-libraries.cabal view
@@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-libraries-version: 3.4+version: 3.5 synopsis: Libraries for the Copilot language. description: Libraries for the Copilot language.@@ -15,8 +15,8 @@ license: BSD3 license-file: LICENSE author: Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,- Sebastian Niller, Nis Nordby Wegmann-maintainer: Frank Dedden <dev@dedden.net>+ Sebastian Niller, Nis Nordby Wegmann, Ivan Perez+maintainer: Ivan Perez <ivan.perezdominguez@nasa.gov> homepage: https://copilot-language.github.io bug-reports: https://github.com/Copilot-Language/copilot/issues stability: Experimental@@ -27,6 +27,7 @@ source-repository head type: git location: git://github.com/Copilot-Language/copilot.git+ subdir: lib/copilot-libraries library default-language: Haskell2010@@ -40,7 +41,7 @@ , data-reify >= 0.6 && < 0.7 , mtl >= 2.0 && < 2.3 , parsec >= 2.0 && < 3.2- , copilot-language >= 3.4 && < 3.5+ , copilot-language >= 3.5 && < 3.6 exposed-modules: Copilot.Library.Libraries