Cabal revisions of constraints-0.12

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

-name:          constraints-category:      Constraints-version:       0.12-license:       BSD2-cabal-version: >= 1.10-license-file:  LICENSE-author:        Edward A. Kmett-maintainer:    Edward A. Kmett <ekmett@gmail.com>-stability:     experimental-homepage:      http://github.com/ekmett/constraints/-bug-reports:   http://github.com/ekmett/constraints/issues-copyright:     Copyright (C) 2011-2015 Edward A. Kmett-synopsis:      Constraint manipulation-description:-  GHC 7.4 gave us the ability to talk about @ConstraintKinds@. They stopped crashing the compiler in GHC 7.6.-  .-  This package provides a vocabulary for working with them.--build-type:    Simple-tested-with:   GHC == 7.8.4-             , GHC == 7.10.3-             , GHC == 8.0.2-             , GHC == 8.2.2-             , GHC == 8.4.4-             , GHC == 8.6.5-             , GHC == 8.8.1-extra-source-files: README.markdown-                  , CHANGELOG.markdown--source-repository head-  type: git-  location: git://github.com/ekmett/constraints.git--library-  hs-source-dirs: src--  default-language: Haskell2010-  other-extensions:-    FunctionalDependencies,-    ScopedTypeVariables,-    StandaloneDeriving,-    FlexibleInstances,-    FlexibleContexts,-    ConstraintKinds,-    KindSignatures,-    TypeOperators,-    Rank2Types,-    GADTs--  build-depends:-    base >= 4.7 && < 5,-    binary >= 0.7.1 && < 0.9,-    deepseq >= 1.3 && < 1.5,-    ghc-prim,-    hashable >= 1.2 && < 1.4,-    mtl >= 2.1.2 && < 2.3,-    semigroups >= 0.17 && < 0.20,-    transformers >= 0.3.0.0 && < 0.6,-    transformers-compat >= 0.5 && < 1,-    type-equality >= 1 && < 2--  exposed-modules:-    Data.Constraint-    Data.Constraint.Deferrable-    Data.Constraint.Forall-    Data.Constraint.Lifting-    Data.Constraint.Unsafe--  if impl(ghc >= 8)-    exposed-modules:-      Data.Constraint.Nat-      Data.Constraint.Symbol--  ghc-options: -Wall--test-suite spec-  type: exitcode-stdio-1.0-  default-language: Haskell2010-  hs-source-dirs: tests-  main-is: Spec.hs-  other-modules: GH55Spec-  ghc-options: -Wall -threaded -rtsopts-  build-tool-depends: hspec-discover:hspec-discover >= 2-  build-depends:-    base >= 4.7 && < 5,-    constraints,-    hspec >= 2+name:          constraints
+category:      Constraints
+version:       0.12
+x-revision: 1
+license:       BSD2
+cabal-version: >= 1.10
+license-file:  LICENSE
+author:        Edward A. Kmett
+maintainer:    Edward A. Kmett <ekmett@gmail.com>
+stability:     experimental
+homepage:      http://github.com/ekmett/constraints/
+bug-reports:   http://github.com/ekmett/constraints/issues
+copyright:     Copyright (C) 2011-2015 Edward A. Kmett
+synopsis:      Constraint manipulation
+description:
+  GHC 7.4 gave us the ability to talk about @ConstraintKinds@. They stopped crashing the compiler in GHC 7.6.
+  .
+  This package provides a vocabulary for working with them.
+
+build-type:    Simple
+tested-with:   GHC == 7.8.4
+             , GHC == 7.10.3
+             , GHC == 8.0.2
+             , GHC == 8.2.2
+             , GHC == 8.4.4
+             , GHC == 8.6.5
+             , GHC == 8.8.1
+extra-source-files: README.markdown
+                  , CHANGELOG.markdown
+
+source-repository head
+  type: git
+  location: git://github.com/ekmett/constraints.git
+
+library
+  hs-source-dirs: src
+
+  default-language: Haskell2010
+  other-extensions:
+    FunctionalDependencies,
+    ScopedTypeVariables,
+    StandaloneDeriving,
+    FlexibleInstances,
+    FlexibleContexts,
+    ConstraintKinds,
+    KindSignatures,
+    TypeOperators,
+    Rank2Types,
+    GADTs
+
+  build-depends:
+    base >= 4.7 && < 4.16,
+    binary >= 0.7.1 && < 0.9,
+    deepseq >= 1.3 && < 1.5,
+    ghc-prim,
+    hashable >= 1.2 && < 1.4,
+    mtl >= 2.1.2 && < 2.3,
+    semigroups >= 0.17 && < 0.20,
+    transformers >= 0.3.0.0 && < 0.6,
+    transformers-compat >= 0.5 && < 1,
+    type-equality >= 1 && < 2
+
+  exposed-modules:
+    Data.Constraint
+    Data.Constraint.Deferrable
+    Data.Constraint.Forall
+    Data.Constraint.Lifting
+    Data.Constraint.Unsafe
+
+  if impl(ghc >= 8)
+    exposed-modules:
+      Data.Constraint.Nat
+      Data.Constraint.Symbol
+
+  ghc-options: -Wall
+
+test-suite spec
+  type: exitcode-stdio-1.0
+  default-language: Haskell2010
+  hs-source-dirs: tests
+  main-is: Spec.hs
+  other-modules: GH55Spec
+  ghc-options: -Wall -threaded -rtsopts
+  build-tool-depends: hspec-discover:hspec-discover >= 2
+  build-depends:
+    base >= 4.7 && < 5,
+    constraints,
+    hspec >= 2