Merge pull request #5865 from andreasabel/enable-Agda
[ fix #5826 ] reenable Agda
commit0b18809946889c1c0d2077822af80bb67753d586
authorChris Dornan <chris@chrisdornan.com>
dateMon 8 Feb 2021, 10:22 (6 years ago)
parent7a3fad534b7af2
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