diff --git a/build-constraints.yaml b/build-constraints.yaml index 51ff4f3a..6d79eb81 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -39,6 +39,7 @@ packages: "Andreas Abel @andreasabel": - BNFC + - Sit - STMonadTrans - Agda - agda2lagda