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