reenable Agda
commit7d16b2bbceabad9a8c54cac033c02c9e9d9902f9
authorJens Petersen <petersen@redhat.com>
dateMon 4 Jun 2018, 11:08 (8 years ago)
parent5f42899
build-constraints.yaml+1−1
@@ -2007,7 +2007,7 @@ packages:
20072007 - ipython-kernel
20082008
20092009 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2010− - Agda < 0 # GHC 8.4 via template-haskell-2.13.0.0
2010+ - Agda
20112011
20122012 "James Cook <mokus@deepbondi.net> @mokus0":
20132013 - dependent-sum