Cabal revisions of picologic-0.3.0

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

-name:                picologic-version:             0.3.0-synopsis:            Utilities for symbolic predicate logic expressions-homepage:            https://github.com/sdiehl/picologic-license:             MIT-license-file:        LICENSE-author:              Stephen Diehl-maintainer:          stephen.m.diehl@gmail.com-copyright:           2014 Stephen Diehl-category:            Logic-build-type:          Simple-cabal-version:       >=1.10-tested-with:         GHC == 7.6.3-Bug-Reports:         https://github.com/sdiehl/picologic/issues--description:-  `picologic` provides symbolic logic expressions that can be integrated with the `picosat` solver.-Source-Repository head-    type: git-    location: git@github.com:sdiehl/picologic.git--Flag shell-  description: Build the interactive shell-  default:     False--library-  exposed-modules:     -    Picologic,-    Picologic.Solver,-    Picologic.AST,-    Picologic.Parser,-    Picologic.Pretty,-    Picologic.Tseitin-  other-modules:-    Picologic.Lexer-  hs-source-dirs:      src-  other-extensions:    DeriveDataTypeable, BangPatterns-  build-depends:       -    base        >= 4.6 && <4.10,-    picosat     >= 0.1 && <0.2,-    containers  >= 0.5 && <0.6,-    mtl         >= 2.1 && <2.4,-    pretty      >= 1.1 && <1.2,-    parsec      >= 3.1 && <3.2-  default-language:    Haskell2010--executable picologic-  main-is:     Picologic/Main.hs-  if flag(shell)-    hs-source-dirs:      src-    other-modules: Picologic.Repl-    other-extensions:    DeriveDataTypeable, BangPatterns-    build-depends:       -      base        >= 2   && <5,-      picosat     >= 0.1 && <0.2,-      containers  >= 0.5 && <0.6,-      mtl         >= 2.1 && <2.4,-      pretty      >= 1.1 && <1.2,-      parsec      >= 3.1 && <3.2,-      process     >= 1.1 && <1.2,-      haskeline   >= 0.7 && <0.8-    default-language:    Haskell2010-  else-    buildable: False----Todo: how to fail 'cabal test' on a QuickCheck error?-Test-Suite picologic-quickcheck-   type:       exitcode-stdio-1.0-   main-is:    tests.hs-   hs-source-dirs: tests-   build-depends: -      base >= 2 && <5,-      QuickCheck,-      containers,-      picosat,-      mtl,-      pretty,-      picologic--Test-Suite pretty-print-test-   type:       exitcode-stdio-1.0-   main-is:    PrettyPrintTest.hs-   hs-source-dirs: tests-   build-depends: -      base >= 2 && <5,-      picologic+name:                picologic
+version:             0.3.0
+x-revision: 1
+synopsis:            Utilities for symbolic predicate logic expressions
+homepage:            https://github.com/sdiehl/picologic
+license:             MIT
+license-file:        LICENSE
+author:              Stephen Diehl
+maintainer:          stephen.m.diehl@gmail.com
+copyright:           2014-2017 Stephen Diehl
+category:            Logic
+build-type:          Simple
+cabal-version:       >=1.10
+tested-with:         GHC == 7.6.3
+Bug-Reports:         https://github.com/sdiehl/picologic/issues
+
+description:
+  `picologic` provides symbolic logic expressions that can be integrated with the `picosat` solver.
+Source-Repository head
+    type: git
+    location: git@github.com:sdiehl/picologic.git
+
+Flag shell
+  description: Build the interactive shell
+  default:     False
+
+library
+  exposed-modules:     
+    Picologic,
+    Picologic.Solver,
+    Picologic.AST,
+    Picologic.Parser,
+    Picologic.Pretty,
+    Picologic.Tseitin
+  other-modules:
+    Picologic.Lexer
+  hs-source-dirs:      src
+  other-extensions:    DeriveDataTypeable, BangPatterns
+  build-depends:       
+    base        >= 4.6 && <4.10,
+    picosat     >= 0.1 && <0.2,
+    containers  >= 0.5 && <0.6,
+    mtl         >= 2.1 && <2.4,
+    pretty      >= 1.1 && <1.2,
+    parsec      >= 3.1 && <3.2
+  default-language:    Haskell2010
+
+executable picologic
+  main-is:     Picologic/Main.hs
+  if flag(shell)
+    hs-source-dirs:      src
+    other-modules: Picologic.Repl
+    other-extensions:    DeriveDataTypeable, BangPatterns
+    build-depends:       
+      base        >= 2   && <5,
+      picosat     >= 0.1 && <0.2,
+      containers  >= 0.5 && <0.6,
+      mtl         >= 2.1 && <2.4,
+      pretty      >= 1.1 && <1.2,
+      parsec      >= 3.1 && <3.2,
+      process     >= 1.1 && <1.2,
+      haskeline   >= 0.7 && <0.8
+    default-language:    Haskell2010
+  else
+    buildable: False
+
+--Todo: how to fail 'cabal test' on a QuickCheck error?
+Test-Suite picologic-quickcheck
+   type:       exitcode-stdio-1.0
+   main-is:    tests.hs
+   hs-source-dirs: tests
+   build-depends: 
+      base >= 2 && <5,
+      QuickCheck,
+      containers,
+      picosat,
+      mtl,
+      pretty,
+      picologic
+
+Test-Suite pretty-print-test
+   type:       exitcode-stdio-1.0
+   main-is:    PrettyPrintTest.hs
+   hs-source-dirs: tests
+   build-depends: 
+      base >= 2 && <5,
+      picologic