PeanoWitnesses
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.0.0 | 2014-06-28 04:38 UTC | kwf | +134/−0 lines, 4 filesdep +basesetup-changed |
Dependencies of PeanoWitnesses-0.1.0.0
base >=4.7 && <4.8 4.7.0.2 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
Reverse dependencies
2 packages depend on PeanoWitnesses