copilot-theorem 3.9 → 3.10
raw patch · 2 files changed
+21/−24 lines, 2 filesdep −ansi-terminaldep −filepathdep ~bimapdep ~copilot-coredep ~mtlPVP ok
version bump matches the API change (PVP)
Dependencies removed: ansi-terminal, filepath
Dependency ranges changed: bimap, copilot-core, mtl, random, transformers, what4
API changes (from Hackage documentation)
Files
- CHANGELOG +8/−0
- copilot-theorem.cabal +13/−24
CHANGELOG view
@@ -1,3 +1,11 @@+2022-07-07+ * Version bump (3.10). (#356)+ * Remove comment from cabal file. (#325)+ * Remove unnecessary dependencies from Cabal package. (#326)+ * Remove duplicated compiler option. (#328)+ * Relax version bounds of dependencies. (#335)+ * Include repo info in cabal file. (#333)+ 2022-05-06 * Version bump (3.9). (#320) * Compliance with style guide (partial). (#316)
copilot-theorem.cabal view
@@ -14,7 +14,7 @@ <https://copilot-language.github.io>. -version : 3.9+version : 3.10 license : BSD3 license-file : LICENSE maintainer : Ivan Perez <ivan.perezdominguez@nasa.gov>@@ -30,51 +30,40 @@ x-curation: uncurated +source-repository head+ type: git+ location: https://github.com/Copilot-Language/copilot.git+ subdir: copilot-theorem+ library default-language : Haskell2010 hs-source-dirs : src - ghc-options : -Wall -fwarn-tabs+ ghc-options : -Wall -fno-warn-name-shadowing -fno-warn-unused-binds -fno-warn-missing-signatures -fcontext-stack=100 - -- -fpackage-trust- -- -trust=array- -- -trust=base- -- -trust=containers- -- -- -trust=copilot-core- -- -trust=directory- -- -- -trust=exceptions- -- -trust=process- -- -- -trust=random- -- -trust=unix- -- -- -trust=parsec- -- -trust=bytestring- -- -- -trust=text- build-depends : base >= 4.9 && < 5- , ansi-terminal >= 0.8 && < 0.10- , bimap >= 0.3 && < 0.4+ , bimap (>= 0.3 && < 0.4) || (>= 0.5 && < 0.6) , bv-sized >= 1.0.2 && < 1.1 , containers >= 0.4 && < 0.7 , data-default >= 0.7 && < 0.8 , directory >= 1.3 && < 1.4- , filepath >= 1.4.2 && < 1.5 , libBF >= 0.6.2 && < 0.7- , mtl >= 2.0 && < 2.3+ , mtl >= 2.0 && < 2.4 , panic >= 0.4.0 && < 0.5 , parsec >= 2.0 && < 3.2 , parameterized-utils >= 2.1.1 && < 2.2 , pretty >= 1.0 && < 1.2 , process >= 1.6 && < 1.7- , random >= 1.1 && < 1.2- , transformers >= 0.5 && < 0.6+ , random >= 1.1 && < 1.3+ , transformers >= 0.5 && < 0.7 , xml >= 1.3 && < 1.4- , what4 >= 1.1 && < 1.3+ , what4 >= 1.1 && < 1.4 - , copilot-core >= 3.9 && < 3.10+ , copilot-core >= 3.10 && < 3.11 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove