on master help sign in
Add peano package
0f1590bM Farkas-Dyck
build-constraints.yaml+1
@@ -3320,6 +3320,7 @@ packages:
3320 - filtrable
3320 - filtrable
3321 - hs-functors
3321 - hs-functors
3322 - lenz
3322 - lenz
3323+ - peano
3323 - unconstrained
3324 - unconstrained
3324 - util
3325 - util
3325
3326