Bump versions and constraints. Refs #522.

ivanperez-keera · ivanperez-keera · commit 2fcf3a793dce · 2024-07-08T02:10:15.000Z
diff --git 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.19.1
+version                   : 3.20
 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.19.1 && < 3.20
-                          , language-c99        >= 0.2.0  && < 0.3
-                          , language-c99-simple >= 0.3    && < 0.4
+                          , copilot-core        >= 3.20  && < 3.21
+                          , language-c99        >= 0.2.0 && < 0.3
+                          , language-c99-simple >= 0.3   && < 0.4
 
   exposed-modules         : Copilot.Compile.C99
 
diff --git 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.19.1
+version:             3.20
 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
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             3.19.1
+version:             3.20
 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.19.1 && < 3.20
+    copilot-core >= 3.20 && < 3.21
 
   exposed-modules:
 
diff --git 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.19.1
+version:             3.20
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -35,16 +35,16 @@ source-repository head
 library
   default-language: Haskell2010
   hs-source-dirs: src
-  build-depends: base                  >= 4.9    && < 5
+  build-depends: base                  >= 4.9  && < 5
 
-               , array                 >= 0.5    && < 0.6
-               , containers            >= 0.4    && < 0.7
-               , data-reify            >= 0.6    && < 0.7
-               , mtl                   >= 2.0    && < 3
+               , array                 >= 0.5  && < 0.6
+               , containers            >= 0.4  && < 0.7
+               , data-reify            >= 0.6  && < 0.7
+               , mtl                   >= 2.0  && < 3
 
-               , copilot-core          >= 3.19.1 && < 3.20
-               , copilot-interpreter   >= 3.19.1 && < 3.20
-               , copilot-theorem       >= 3.19.1 && < 3.20
+               , copilot-core          >= 3.20 && < 3.21
+               , copilot-interpreter   >= 3.20 && < 3.21
+               , copilot-theorem       >= 3.20 && < 3.21
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
diff --git 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.19.1
+version:             3.20
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -36,12 +36,12 @@ library
 
   hs-source-dirs: src
 
-  build-depends: base             >= 4.9    && < 5
+  build-depends: base             >= 4.9  && < 5
 
-               , containers       >= 0.4    && < 0.7
-               , mtl              >= 2.0    && < 2.4
-               , parsec           >= 2.0    && < 3.2
-               , copilot-language >= 3.19.1 && < 3.20
+               , containers       >= 0.4  && < 0.7
+               , mtl              >= 2.0  && < 2.4
+               , parsec           >= 2.0  && < 3.2
+               , copilot-language >= 3.20 && < 3.21
 
   exposed-modules:
       Copilot.Library.Libraries
diff --git 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.19.1
+version:             3.20
 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.19.1 && < 3.20
+    copilot-core >= 3.20 && < 3.21
 
   exposed-modules:
 
diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal
@@ -14,7 +14,7 @@ description:
   <https://copilot-language.github.io>.
 
 
-version                   : 3.19.1
+version                   : 3.20
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -63,8 +63,8 @@ library
                           , xml                   >= 1.3 && < 1.4
                           , what4                 >= 1.3 && < 1.7
 
-                          , copilot-core          >= 3.19.1 && < 3.20
-                          , copilot-prettyprinter >= 3.19.1 && < 3.20
+                          , copilot-core          >= 3.20 && < 3.21
+                          , copilot-prettyprinter >= 3.20 && < 3.21
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             3.19.1
+version:             3.20
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -47,17 +47,17 @@ library
       -Wall
       -fno-warn-orphans
     build-depends:
-                       base                  >= 4.9    && < 5
-                     , optparse-applicative  >= 0.14   && < 0.19
-                     , directory             >= 1.3    && < 1.4
-                     , filepath              >= 1.4    && < 1.5
-
-                     , copilot-core          >= 3.19.1 && < 3.20
-                     , copilot-theorem       >= 3.19.1 && < 3.20
-                     , copilot-language      >= 3.19.1 && < 3.20
-                     , copilot-libraries     >= 3.19.1 && < 3.20
-                     , copilot-c99           >= 3.19.1 && < 3.20
-                     , copilot-prettyprinter >= 3.19.1 && < 3.20
+                       base                  >= 4.9  && < 5
+                     , optparse-applicative  >= 0.14 && < 0.19
+                     , directory             >= 1.3  && < 1.4
+                     , filepath              >= 1.4  && < 1.5
+
+                     , copilot-core          >= 3.20 && < 3.21
+                     , copilot-theorem       >= 3.20 && < 3.21
+                     , copilot-language      >= 3.20 && < 3.21
+                     , copilot-libraries     >= 3.20 && < 3.21
+                     , copilot-c99           >= 3.20 && < 3.21
+                     , copilot-prettyprinter >= 3.20 && < 3.21
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
