Cabal revisions of djinn-lib-0.0.1.1

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

-name:           djinn-lib-version:        0.0.1.1-cabal-version:  >= 1.2-license:        BSD3-license-file:	LICENSE-author:	        Lennart Augustsson-maintainer:     trupill@gmail.com-synopsis:       Generate Haskell code from a type. Library extracted from djinn package.-description:    Djinn uses an theorem prover for intuitionistic propositional logic-                to generate a Haskell expression when given a type.-                This is a library extracted from Djinn sources.-category:       Language-homepage:       http://www.augustsson.net/Darcs/Djinn/-build-type:     Simple--library-  hs-source-dirs:  src-  build-depends:   base >= 4 && < 5,-                   mtl,-                   containers,-                   pretty-  exposed-modules: Djinn.HCheck,-                   Djinn.HTypes,-                   Djinn.LJT,-                   Djinn.LJTFormula+name:           djinn-lib
+version:        0.0.1.1
+x-revision: 1
+cabal-version:  >= 1.2
+license:        BSD3
+license-file:	LICENSE
+author:	        Lennart Augustsson
+maintainer:     trupill@gmail.com
+synopsis:       Generate Haskell code from a type. Library extracted from djinn package.
+description:    Djinn uses an theorem prover for intuitionistic propositional logic
+                to generate a Haskell expression when given a type.
+                This is a library extracted from Djinn sources.
+category:       Language
+homepage:       http://www.augustsson.net/Darcs/Djinn/
+build-type:     Simple
+
+library
+  hs-source-dirs:  src
+  build-depends:   base >= 4 && < 4.11,
+                   mtl,
+                   containers,
+                   pretty
+  exposed-modules: Djinn.HCheck,
+                   Djinn.HTypes,
+                   Djinn.LJT,
+                   Djinn.LJTFormula