Added Agda.
@nomeata suggested to add Agda in
https://code.google.com/p/agda/issues/detail?id=1479.
commita87ab402238ca2215474d5b5b7ccb55ad84a6e6d
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateFri 31 Jul 2015, 10:00 (11 years ago)
parenta32d47a
build-constraints.yaml+3
@@ -1223,6 +1223,9 @@ packages:
12231223 - refact
12241224 - servant-pandoc
12251225
1226+ "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1227+ - Agda
1228+
12261229 "Stackage upper bounds":
12271230 # https://github.com/fpco/stackage/issues/537
12281231 - zlib < 0.6