packages feed

peano

view on Hackage

versionuploadeduploaderchanges
0.1.1.02026-01-06 08:07 UTCAndreasAbel+13/−4 lines, 3 filesPVP ok
0.1.0.32025-09-02 06:32 UTCAndreasAbel+17/−6 lines, 3 filesPVP ok
0.1.0.22023-10-23 09:30 UTCAndreasAbel+163/−30 lines, 7 filesdep +peanodep +tasty-benchdep ~basesetup-changednew-uploaderPVP: major bump suggested
0.1.0.12015-03-27 05:47 UTCMatthewFarkasDyck3 revisions+2/−2 lines, 1 filesPVP ok
0.1.0.02015-03-27 05:42 UTCMatthewFarkasDyck2 revisions+86/−0 lines, 4 filesdep +basesetup-changed

Dependencies of peano-0.1.1.0

base >=4.9 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

tasty-bench >=0 0.5 → 0.5.1
2026-06-09 23:23 UTC0.5.1+111/−42 lines, 3 filesdep +transformersdep ~tasty
2025-12-26 19:44 UTC0.5+265/−144 lines, 4 filesdep ~basedep ~time
2024-12-29 22:30 UTC0.4.1+48/−75 lines, 4 filesdep −taggeddep ~containers
2024-07-06 11:31 UTC0.4+225/−103 lines, 5 filesdep +timedep ~containersdep ~tasty
2023-09-10 00:31 UTC0.3.5+265/−164 lines, 4 filesdep ~containersdep ~deepseqdep ~ghc-prim

showing 5 of 17 versions

Reverse dependencies

11 packages depend on peano

Agda 2.8.0 requires peano >=0.1.0.1 && <0.2
clist 0.3.0.1 requires peano >=0.1 && <0.2
Fin 0.2.9.0 requires peano >=0
monad-classes 0.3.2.2 requires peano >=0.1
monopati 0.1.4 requires peano >=0
natural-induction 0.2.0.0 requires peano >=0.1 && <0.2
permutations 0.1.0.0 requires peano >=0.1 && <0.2
polynom 0.1.0.0 requires peano >=0.1 && <0.2
reg-alloc-graph-color 0.0.0.0 requires peano >=0.1 && <0.2
rv 0.0.1.0 requires peano >=0
word 0.1.0.1 requires peano >=0.1 && <0.2