name: opentheory-divides
version: 1.57
category: Number Theory
synopsis: The divides relation on natural numbers
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 divides relation on natural numbers - this package was automatically
  generated from the OpenTheory package natural-divides-1.57

library
  build-depends:
    base >= 4.0 && < 5.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.5 && < 2.0,
    opentheory >= 1.195 && < 1.198
  hs-source-dirs: src
  ghc-options: -Wall
  exposed-modules:
    OpenTheory.Natural.Divides

test-suite opentheory-divides-test
  type: exitcode-stdio-1.0
  build-depends:
    base >= 4.0 && < 5.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.5 && < 2.0,
    opentheory >= 1.195 && < 1.198
  hs-source-dirs: src
  ghc-options: -Wall
  main-is: Test.hs