name: opentheory-divides version: 1.56 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 maintainer: Joe Leslie-Hurd description: The divides relation on natural numbers - this package was automatically generated from the OpenTheory package natural-divides-1.56 library build-depends: base >= 4.0 && < 5.0, QuickCheck >= 2.4.0.1 && < 3.0, opentheory-primitive >= 1.4 && < 2.0, opentheory >= 1.195 && < 1.197 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.4 && < 2.0, opentheory >= 1.195 && < 1.197 hs-source-dirs: src ghc-options: -Wall main-is: Test.hs