From 3006a798ee8619aa6aea4f2928768d03540ae22f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Thu, 7 Sep 2023 23:00:50 -0700 Subject: [PATCH] Bump versions and constraints. Refs #455. --- copilot-c99/copilot-c99.cabal | 8 ++++---- copilot-core/copilot-core.cabal | 2 +- copilot-interpreter/copilot-interpreter.cabal | 4 ++-- copilot-language/copilot-language.cabal | 8 ++++---- copilot-libraries/copilot-libraries.cabal | 4 ++-- copilot-prettyprinter/copilot-prettyprinter.cabal | 4 ++-- copilot-theorem/copilot-theorem.cabal | 6 +++--- copilot/copilot.cabal | 14 +++++++------- 8 files changed, 25 insertions(+), 25 deletions(-) diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal index 7886b8ee..d0e5ff90 100644 --- a/copilot-c99/copilot-c99.cabal +++ b/copilot-c99/copilot-c99.cabal @@ -1,6 +1,6 @@ cabal-version : >= 1.10 name : copilot-c99 -version : 3.16 +version : 3.16.1 synopsis : A compiler for Copilot targeting C99. description : This package is a back-end from Copilot to C. @@ -45,9 +45,9 @@ library , mtl >= 2.2 && < 2.4 , pretty >= 1.1 && < 1.2 - , copilot-core >= 3.16 && < 3.17 - , language-c99 >= 0.2.0 && < 0.3 - , language-c99-simple >= 0.2.2 && < 0.3 + , copilot-core >= 3.16.1 && < 3.17 + , language-c99 >= 0.2.0 && < 0.3 + , language-c99-simple >= 0.2.2 && < 0.3 exposed-modules : Copilot.Compile.C99 diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal index be40f931..e50e0e48 100644 --- a/copilot-core/copilot-core.cabal +++ b/copilot-core/copilot-core.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-core -version: 3.16 +version: 3.16.1 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal index f5f36fcf..7479470b 100644 --- a/copilot-interpreter/copilot-interpreter.cabal +++ b/copilot-interpreter/copilot-interpreter.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-interpreter -version: 3.16 +version: 3.16.1 synopsis: Interpreter for Copilot. description: Interpreter for Copilot. @@ -44,7 +44,7 @@ library base >= 4.9 && < 5, pretty >= 1.0 && < 1.2, - copilot-core >= 3.16 && < 3.17 + copilot-core >= 3.16.1 && < 3.17 exposed-modules: diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal index 4aa502a7..61c45393 100644 --- a/copilot-language/copilot-language.cabal +++ b/copilot-language/copilot-language.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-language -version: 3.16 +version: 3.16.1 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems. description: @@ -42,9 +42,9 @@ library , data-reify >= 0.6 && < 0.7 , mtl >= 2.0 && < 3 - , copilot-core >= 3.16 && < 3.17 - , copilot-interpreter >= 3.16 && < 3.17 - , copilot-theorem >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-interpreter >= 3.16.1 && < 3.17 + , copilot-theorem >= 3.16.1 && < 3.17 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal index 78128570..9d4a4d1b 100644 --- a/copilot-libraries/copilot-libraries.cabal +++ b/copilot-libraries/copilot-libraries.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-libraries -version: 3.16 +version: 3.16.1 synopsis: Libraries for the Copilot language. description: Libraries for the Copilot language. @@ -41,7 +41,7 @@ library , containers >= 0.4 && < 0.7 , mtl >= 2.0 && < 2.4 , parsec >= 2.0 && < 3.2 - , copilot-language >= 3.16 && < 3.17 + , copilot-language >= 3.16.1 && < 3.17 exposed-modules: Copilot.Library.Libraries diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal index 41838ac1..7de26fe8 100644 --- a/copilot-prettyprinter/copilot-prettyprinter.cabal +++ b/copilot-prettyprinter/copilot-prettyprinter.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-prettyprinter -version: 3.16 +version: 3.16.1 synopsis: A prettyprinter of Copilot Specifications. description: A prettyprinter of Copilot specifications. @@ -45,7 +45,7 @@ library base >= 4.9 && < 5, pretty >= 1.0 && < 1.2, - copilot-core >= 3.16 && < 3.17 + copilot-core >= 3.16.1 && < 3.17 exposed-modules: diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal index 11ab2e80..3e457a80 100644 --- a/copilot-theorem/copilot-theorem.cabal +++ b/copilot-theorem/copilot-theorem.cabal @@ -14,7 +14,7 @@ description: . -version : 3.16 +version : 3.16.1 license : BSD3 license-file : LICENSE maintainer : Ivan Perez @@ -63,8 +63,8 @@ library , xml >= 1.3 && < 1.4 , what4 >= 1.3 && < 1.5 - , copilot-core >= 3.16 && < 3.17 - , copilot-prettyprinter >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-prettyprinter >= 3.16.1 && < 3.17 exposed-modules : Copilot.Theorem , Copilot.Theorem.Prove diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index b9c562bb..ae09b832 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -1,5 +1,5 @@ name: copilot -version: 3.16 +version: 3.16.1 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE @@ -52,12 +52,12 @@ library , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.16 && < 3.17 - , copilot-theorem >= 3.16 && < 3.17 - , copilot-language >= 3.16 && < 3.17 - , copilot-libraries >= 3.16 && < 3.17 - , copilot-c99 >= 3.16 && < 3.17 - , copilot-prettyprinter >= 3.16 && < 3.17 + , copilot-core >= 3.16.1 && < 3.17 + , copilot-theorem >= 3.16.1 && < 3.17 + , copilot-language >= 3.16.1 && < 3.17 + , copilot-libraries >= 3.16.1 && < 3.17 + , copilot-c99 >= 3.16.1 && < 3.17 + , copilot-prettyprinter >= 3.16.1 && < 3.17 exposed-modules: Language.Copilot, Language.Copilot.Main