diff --git a/build-constraints.yaml b/build-constraints.yaml index be108193..c47c9c1a 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -2567,7 +2567,8 @@ packages: "Ismail Mustafa @ismailmustafa": - handwriting - "Stephen Diehl @sdiehl": + "Stephen Diehl @sdiehl": + - llvm-hs-pretty - protolude - repline - picosat