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