copilot-theorem 3.15 → 3.16
raw patch · 2 files changed
+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: copilot-core, copilot-prettyprinter
API changes (from Hackage documentation)
Files
- CHANGELOG +3/−0
- copilot-theorem.cabal +3/−3
CHANGELOG view
@@ -1,3 +1,6 @@+2023-07-07+ * Version bump (3.16). (#448)+ 2023-05-07 * Version bump (3.15). (#438)
copilot-theorem.cabal view
@@ -14,7 +14,7 @@ <https://copilot-language.github.io>. -version : 3.15+version : 3.16 license : BSD3 license-file : LICENSE maintainer : Ivan Perez <ivan.perezdominguez@nasa.gov>@@ -63,8 +63,8 @@ , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.5 - , copilot-core >= 3.15 && < 3.16- , copilot-prettyprinter >= 3.15 && < 3.16+ , copilot-core >= 3.16 && < 3.17+ , copilot-prettyprinter >= 3.16 && < 3.17 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove