[ fix #5826 ] reenable Agda
Agda-2.6.1.3 builds with nightly-2021-02-06.
commit34b7af27b7a3293e1e6b89c45dc2614abccd8c12
authorAndreas Abel <andreas.abel@ifi.lmu.de>
dateMon 8 Feb 2021, 10:10 (6 years ago)
parent7a3fad5
build-constraints.yaml+1−1
@@ -25,7 +25,7 @@ packages:
2525 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
2626 - BNFC
2727 - STMonadTrans
28− - Agda < 0 # https://github.com/commercialhaskell/stackage/issues/5826
28+ - Agda
2929 - agda2lagda
3030 - ListLike
3131 - haskell-src