Cabal revisions of aig-0.2.4

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

-Name:               aig-Version:            0.2.4-License:            BSD3-License-file:       LICENSE-Author:             Galois Inc.-Maintainer:         jhendrix@galois.com-Copyright:          (c) 2014-2015 Galois Inc.-Category:           Data-build-type:         Simple-cabal-Version:      >= 1.10-Synopsis:           And-inverter graphs in Haskell.-Description:-  This package provides a generic interfaces for working-  with And-Inverter graphs (AIGs) in Haskell.  And-Inverter graphs-  are a useful format for representing combinatorial and-  sequential boolean circuits in a way that is amenable to-  simulation and analysis.--  These interfaces allow clients to write code that can create-  and use AIGs without depending on a particular AIG package.--source-repository head-  type: git-  location: https://github.com/GaloisInc/aig.git--library-  hs-source-dirs:   src-  exposed-modules:-    Data.AIG-    Data.AIG.Interface-    Data.AIG.Operations-    Data.AIG.Trace--  default-Language: Haskell2010-  ghc-options:      -Wall -fno-ignore-asserts -O2-  build-depends:-    base == 4.*,-    base-compat >= 0.6.0,-    mtl,-    vector,-    QuickCheck >= 2.7+Name:               aig
+Version:            0.2.4
+x-revision: 1
+License:            BSD3
+License-file:       LICENSE
+Author:             Galois Inc.
+Maintainer:         jhendrix@galois.com
+Copyright:          (c) 2014-2015 Galois Inc.
+Category:           Data
+build-type:         Simple
+cabal-Version:      >= 1.10
+Synopsis:           And-inverter graphs in Haskell.
+Description:
+  This package provides a generic interfaces for working
+  with And-Inverter graphs (AIGs) in Haskell.  And-Inverter graphs
+  are a useful format for representing combinatorial and
+  sequential boolean circuits in a way that is amenable to
+  simulation and analysis.
+
+  These interfaces allow clients to write code that can create
+  and use AIGs without depending on a particular AIG package.
+
+source-repository head
+  type: git
+  location: https://github.com/GaloisInc/aig.git
+
+library
+  hs-source-dirs:   src
+  exposed-modules:
+    Data.AIG
+    Data.AIG.Interface
+    Data.AIG.Operations
+    Data.AIG.Trace
+
+  default-Language: Haskell2010
+  ghc-options:      -Wall -fno-ignore-asserts -O2
+  build-depends:
+    base == 4.*,
+    base-compat >= 0.6.0 && < 0.11.0,
+    mtl,
+    vector,
+    QuickCheck >= 2.7