on master help sign in
Merge pull request #3923 from strake/patch-3

Add foldable1 package, which Fin now depends on

commit6f91e0b6937c5699f9b38e0c7a3b143f8c89c86c authorDan Burton <danburton.email@gmail.com> dateTue 28 Aug 2018, 14:00 (8 years ago) parente93c3c2110786e
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -3510,6 +3510,7 @@ packages:
35103510 - constraint
35113511 - either-both
35123512 - filtrable
3513+ - foldable1
35133514 - hs-functors
35143515 - lenz
35153516 - natural-induction