From 0422975563d44134e7f203c01171365bdb2c480a Mon Sep 17 00:00:00 2001 From: Lysxia Date: Sun, 30 Dec 2018 14:15:37 +0100 Subject: [PATCH] Add generic-data-surgery and type-map --- build-constraints.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index b2f031cf..751c8043 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -312,9 +312,11 @@ packages: - boltzmann-samplers - first-class-families - generic-data + - generic-data-surgery - generic-random - scanf - show-combinators + - type-map "Tobias Dammers @tdammers": - ginger < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build