From 0f1590b161257c0caa01867b57b8b7fd5afec386 Mon Sep 17 00:00:00 2001 From: M Farkas-Dyck Date: Tue, 8 May 2018 19:10:39 -0800 Subject: [PATCH] Add peano package --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index fcb58a40..b91f79dc 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3320,6 +3320,7 @@ packages: - filtrable - hs-functors - lenz + - peano - unconstrained - util