diff --git a/build-constraints.yaml b/build-constraints.yaml index f2769976..77f95857 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1590,6 +1590,7 @@ packages: "Michael Walker @barrucadu": - both + - dpor - dejafu - async-dejafu - hunit-dejafu