opentheory-divides: The divides relation on natural numbers
The divides relation on natural numbers - this package was automatically generated from the OpenTheory package natural-divides-1.55
Downloads
- opentheory-divides-1.55.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.55, 1.56, 1.57, 1.61, 1.62, 1.63, 1.66 |
---|---|
Dependencies | base (>=4.0 && <5.0), opentheory (>=1.195 && <1.196), opentheory-primitive (>=1.3 && <2.0), QuickCheck (>=2.4.0.1 && <3.0) [details] |
License | MIT |
Author | Joe Leslie-Hurd <joe@gilith.com> |
Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
Category | Number Theory |
Uploaded | by JoeHurd at 2015-05-12T04:05:27Z |
Distributions | NixOS:1.66 |
Reverse Dependencies | 2 direct, 1 indirect [details] |
Executables | opentheory-divides-test |
Downloads | 4258 total (23 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-05-12 [all 1 reports] |