opentheory-1.195: opentheory.cabal

name: opentheory
version: 1.195
category: Formal Methods
synopsis: The standard theory library
license: MIT
license-file: LICENSE
cabal-version: >= 1.8.0.2
build-type: Simple
author: Joe Leslie-Hurd <joe@gilith.com>
maintainer: Joe Leslie-Hurd <joe@gilith.com>
description:
  The standard theory library - this package was automatically generated
  from the OpenTheory package base-1.195

library
  build-depends:
    base >= 4.0 && < 5.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.3 && < 2.0

  hs-source-dirs: src

  ghc-options: -Wall

  exposed-modules:
    OpenTheory.List
    OpenTheory.Natural

executable opentheory-test
  build-depends:
    base >= 4.0 && < 5.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.3 && < 2.0

  hs-source-dirs: src, testsrc

  ghc-options: -Wall

  main-is: Main.hs