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