diff --git a/build-constraints.yaml b/build-constraints.yaml
index 61cc143d..6a7a7607 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -76,8 +76,7 @@ packages:
         - geniplate-mirror
 
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
-
-        - Agda
+        - Agda < 0
         - agda2lagda
         - BNFC
         - cabal-clean