1 files changed, 94 insertions, 0 deletions
diff --git a/constraints.cabal b/constraints.cabal
new file mode 100755
index 0000000..f682403
--- /dev/null
+++ b/constraints.cabal
@@ -0,0 +1,94 @@
+name:          constraints
+category:      Constraints
+version:       0.13.4
+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.4
+             , GHC == 8.10.7
+             , GHC == 9.0.2
+             , GHC == 9.2.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.6,
+    ghc-prim,
+    hashable >= 1.2 && < 1.5,
+    mtl >= 2.1.2 && < 2.4,
+    transformers >= 0.3.0.0 && < 0.7,
+    transformers-compat >= 0.5 && < 1,
+    type-equality >= 1 && < 2
+  if impl(ghc < 8.0)
+    build-depends: semigroups >= 0.17 && < 0.21
+
+  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
+  if impl(ghc >= 8.6)
+    ghc-options: -Wno-star-is-type
+
+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