Uncomment maintener name of Agda.
commit7bcef4e7ee03ac4196a95c8fcc13fe04ed71a29d
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateSat 3 Sep 2016, 16:45 (10 years ago)
parent63049d3
build-constraints.yaml+1−1
@@ -1669,7 +1669,7 @@ packages:
16691669 # GHC 8 - ghc-parser
16701670 # GHC 8 - ipython-kernel
16711671
1672− # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1672+ "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
16731673 - Agda
16741674
16751675 "James Cook <mokus@deepbondi.net> @mokus0":