Cabal revisions of aig-0.2.6

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

-Name:               aig-Version:            0.2.6-License:            BSD3-License-file:       LICENSE-Author:             Galois Inc.-Maintainer:         jhendrix@galois.com-Copyright:          (c) 2014-2017 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-  build-depends:-    base >= 4 && < 4.12,-    base-compat >= 0.6.0,-    mtl,-    vector,-    QuickCheck >= 2.7--test-suite aig-test-  type: exitcode-stdio-1.0-  hs-source-dirs: tests--  ghc-options: -Wall-  default-language: Haskell2010--  main-is: aig-test.hs-  other-modules:-    Tests.Operations--  build-depends:-    base == 4.*,-    aig,-    tasty,-    tasty-ant-xml,-    tasty-quickcheck >= 0.8.1,-    QuickCheck >= 2.7+Name:               aig
+Version:            0.2.6
+x-revision: 1
+License:            BSD3
+License-file:       LICENSE
+Author:             Galois Inc.
+Maintainer:         jhendrix@galois.com
+Copyright:          (c) 2014-2017 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
+  build-depends:
+    base >= 4 && < 4.12,
+    base-compat >= 0.6.0 && < 0.11.0,
+    mtl,
+    vector,
+    QuickCheck >= 2.7
+
+test-suite aig-test
+  type: exitcode-stdio-1.0
+  hs-source-dirs: tests
+
+  ghc-options: -Wall
+  default-language: Haskell2010
+
+  main-is: aig-test.hs
+  other-modules:
+    Tests.Operations
+
+  build-depends:
+    base == 4.*,
+    aig,
+    tasty,
+    tasty-ant-xml,
+    tasty-quickcheck >= 0.8.1,
+    QuickCheck >= 2.7