natural-number
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 1.0 | 2010-10-14 01:36 UTC | GregoryCrosswhite | +117/−0 lines, 4 filesdep +basedep +type-equalitydep +type-level-natural-numbersetup-changed |
Dependencies of natural-number-1.0
base >=3 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
type-equality >=0.1 && <0.2 0.1.2 → 1.0.1 newer than bounds
| 2024-05-12 22:17 UTC | 1.0.1 newer than bounds | +35/−301 lines, 4 filesdep ~base |
| 2019-09-06 08:20 UTC | 1 newer than bounds | +369/−198 lines, 8 filesdep ~basesetup-changednew-uploader |
| 2013-05-11 19:19 UTC | 0.1.2 | +10/−1 lines, 3 files |
| 2012-11-26 10:32 UTC | 0.1.1 | +45/−27 lines, 3 files |
| 2011-08-24 18:49 UTC | 0.1.0.2 | +2/−2 lines, 1 filesdep +base |
showing 5 of 7 versions
type-level-natural-number >=1.0 && <1.2 1.1.1 → 2.0 newer than bounds
| 2014-03-30 18:38 UTC | 2.0 newer than bounds | +15/−14 lines, 2 files |
| 2012-11-06 04:37 UTC | 1.1.1 | +27/−5 lines, 3 files |
| 2010-10-14 01:22 UTC | 1.1 | +21/−10 lines, 3 files |
| 2010-07-30 20:03 UTC | 1.0 | +148/−0 lines, 4 filesdep +basesetup-changed |
type-level-natural-number-induction >=1.0 && <1.1 1.0 → 1.0.0.1
| 2012-07-23 03:21 UTC | 1.0.0.1 | +11/−11 lines, 1 filesdep ~transformers |
| 2010-10-14 01:32 UTC | 1.0 | +269/−0 lines, 4 filesdep +basedep +transformersdep +type-level-natural-numbersetup-changed |
Reverse dependencies
1 packages depend on natural-number