copilot-theorem 4.6 → 4.6.1
raw patch · 2 files changed
+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: containers, copilot-core, copilot-prettyprinter, random
API changes (from Hackage documentation)
Files
- CHANGELOG +4/−0
- copilot-theorem.cabal +5/−5
CHANGELOG view
@@ -1,3 +1,7 @@+2026-01-07+ * Version bump (4.6.1). (#705)+ * Relax version constraint on containers, random. (#603)+ 2025-11-07 * Version bump (4.6). (#679)
copilot-theorem.cabal view
@@ -14,7 +14,7 @@ <https://copilot-language.github.io>. -version : 4.6+version : 4.6.1 license : BSD3 license-file : LICENSE maintainer : Ivan Perez <ivan.perezdominguez@nasa.gov>@@ -48,7 +48,7 @@ build-depends : base >= 4.9 && < 5 , bimap (>= 0.3 && < 0.4) || (>= 0.5 && < 0.6) , bv-sized >= 1.0.2 && < 1.1- , containers >= 0.4 && < 0.8+ , containers >= 0.4 && < 0.9 , data-default >= 0.7 && < 0.9 , directory >= 1.3 && < 1.4 , libBF >= 0.6.2 && < 0.7@@ -57,13 +57,13 @@ , parameterized-utils >= 2.1.1 && < 2.2 , pretty >= 1.0 && < 1.2 , process >= 1.6 && < 1.7- , random >= 1.1 && < 1.3+ , random >= 1.1 && < 1.4 , transformers >= 0.5 && < 0.7 , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.8 - , copilot-core >= 4.6 && < 4.7- , copilot-prettyprinter >= 4.6 && < 4.7+ , copilot-core >= 4.6.1 && < 4.7+ , copilot-prettyprinter >= 4.6.1 && < 4.7 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove