diff --git a/build-constraints.yaml b/build-constraints.yaml
index 847bce1b..5fd037b2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -75,7 +75,7 @@ packages:
         - geniplate-mirror
 
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
-        - Agda
+        - Agda < 0
         - agda2lagda
         - BNFC
         - cabal-clean