Cabal revisions of smtlib-backends-tests-0.3

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1

-name:               smtlib-backends-tests-version:            0.3-synopsis:           Testing SMT-LIB backends.-description:-  This library provides common functions and values used for testing SMT-LIB-  backends, as provided by the smtlib-backends library.--license:            MIT-license-file:       LICENSE-author:             Quentin Aristote-maintainer:         quentin.aristote@tweag.io-build-type:         Simple-category:           SMT, Testing-cabal-version:      >=1.10-extra-source-files: CHANGELOG.md--source-repository head-  type:     git-  location: https://github.com/tweag/smtlib-backends-  subdir:   smtlib-backends-tests--source-repository this-  type:     git-  location: https://github.com/tweag/smtlib-backends-  tag:      0.3-  subdir:   smtlib-backends-tests--library-  ghc-options:      -Wall -Wunused-packages-  hs-source-dirs:   src-  exposed-modules:  SMTLIB.Backends.Tests-  other-modules:    SMTLIB.Backends.Tests.Sources-  build-depends:-      base             >=4.14   && <4.18-    , smtlib-backends  >=0.3    && <0.4-    , tasty            >=1.4.2  && <1.5-    , tasty-hunit      >=0.10.0 && <0.11--  default-language: Haskell2010+name:               smtlib-backends-tests
+version:            0.3
+x-revision: 1
+synopsis:           Testing SMT-LIB backends.
+description:
+  This library provides common functions and values used for testing SMT-LIB
+  backends, as provided by the smtlib-backends library.
+
+license:            MIT
+license-file:       LICENSE
+author:             Quentin Aristote
+maintainer:         quentin.aristote@tweag.io
+build-type:         Simple
+category:           SMT, Testing
+cabal-version:      >=1.10
+extra-source-files: CHANGELOG.md
+
+source-repository head
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  subdir:   smtlib-backends-tests
+
+source-repository this
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  tag:      0.3
+  subdir:   smtlib-backends-tests
+
+library
+  ghc-options:      -Wall -Wunused-packages
+  hs-source-dirs:   src
+  exposed-modules:  SMTLIB.Backends.Tests
+  other-modules:    SMTLIB.Backends.Tests.Sources
+  build-depends:
+      base             >=4.14   && <4.19
+    , smtlib-backends  >=0.3    && <0.4
+    , tasty            >=1.4.2  && <1.5
+    , tasty-hunit      >=0.10.0 && <0.11
+
+  default-language: Haskell2010

revision 2

 name:               smtlib-backends-tests
 version:            0.3
-x-revision: 1
+x-revision: 2
 synopsis:           Testing SMT-LIB backends.
 description:
   This library provides common functions and values used for testing SMT-LIB
   other-modules:    SMTLIB.Backends.Tests.Sources
   build-depends:
       base             >=4.14   && <4.19
-    , smtlib-backends  >=0.3    && <0.4
+    , smtlib-backends  >=0.3    && <0.5
     , tasty            >=1.4.2  && <1.5
     , tasty-hunit      >=0.10.0 && <0.11

revision 3

 name:               smtlib-backends-tests
 version:            0.3
-x-revision: 2
+x-revision: 3
 synopsis:           Testing SMT-LIB backends.
 description:
   This library provides common functions and values used for testing SMT-LIB
   exposed-modules:  SMTLIB.Backends.Tests
   other-modules:    SMTLIB.Backends.Tests.Sources
   build-depends:
-      base             >=4.14   && <4.19
+      base             >=4.14   && <4.21
     , smtlib-backends  >=0.3    && <0.5
     , tasty            >=1.4.2  && <1.5
     , tasty-hunit      >=0.10.0 && <0.11

revision 4

 name:               smtlib-backends-tests
 version:            0.3
-x-revision: 3
+x-revision: 4
 synopsis:           Testing SMT-LIB backends.
 description:
   This library provides common functions and values used for testing SMT-LIB
   exposed-modules:  SMTLIB.Backends.Tests
   other-modules:    SMTLIB.Backends.Tests.Sources
   build-depends:
-      base             >=4.14   && <4.21
+      base             >=4.14   && <4.22
     , smtlib-backends  >=0.3    && <0.5
     , tasty            >=1.4.2  && <1.5
     , tasty-hunit      >=0.10.0 && <0.11

revision 5

 name:               smtlib-backends-tests
 version:            0.3
-x-revision: 4
+x-revision: 5
 synopsis:           Testing SMT-LIB backends.
 description:
   This library provides common functions and values used for testing SMT-LIB
   build-depends:
       base             >=4.14   && <4.22
     , smtlib-backends  >=0.3    && <0.5
-    , tasty            >=1.4.2  && <1.5
+    , tasty            >=1.4.2  && <1.6
     , tasty-hunit      >=0.10.0 && <0.11
 
   default-language: Haskell2010

revision 6

 name:               smtlib-backends-tests
 version:            0.3
-x-revision: 5
+x-revision: 6
 synopsis:           Testing SMT-LIB backends.
 description:
   This library provides common functions and values used for testing SMT-LIB
   exposed-modules:  SMTLIB.Backends.Tests
   other-modules:    SMTLIB.Backends.Tests.Sources
   build-depends:
-      base             >=4.14   && <4.22
+      base             >=4.14   && <4.23
     , smtlib-backends  >=0.3    && <0.5
     , tasty            >=1.4.2  && <1.6
     , tasty-hunit      >=0.10.0 && <0.11