temporarily disable Agda to break dependency cycle

       In the dependencies for tasty-bench-0.3.4:                                                                        [14/144965]
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-bench is a build target.

       In the dependencies for tasty-hunit-0.10.0.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-hunit is a build target.
       In the dependencies for tasty-quickcheck-0.10.2:
           optparse-applicative dependency cycle detected: optparse-applicative, tasty-quickcheck,
                                pgp-wordlist, prettyprinter, optparse-applicative, tasty,
                                STMonadTrans, Agda
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-quickcheck is a build target.

       In the dependencies for pgp-wordlist-0.1.0.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since pgp-wordlist is a build target.

       In the dependencies for prettyprinter-1.7.1:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since prettyprinter is a build target.

       In the dependencies for syb-0.7.2.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since syb is a build target.

       In the dependencies for text-short-0.1.5:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since text-short is a build target.

       In the dependencies for time-compat-1.9.6.1:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since time-compat is a build target.

       In the dependencies for vector-0.13.0.0:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since vector is a build target.

not sure it is enough though

build-constraints.yaml

@@ -76,8 +76,7 @@ packages:
         - geniplate-mirror
 
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
-
-        - Agda
+        - Agda < 0
         - agda2lagda
         - BNFC
         - cabal-clean