git.iko.soy/stackage
on master help sign in
Uncomment maintener name of Agda.
7bcef4eAndrés Sicard-Ramírez
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -1669,7 +1669,7 @@ packages:
1669 # GHC 8 - ghc-parser
1669 # GHC 8 - ghc-parser
1670 # GHC 8 - ipython-kernel
1670 # GHC 8 - ipython-kernel
1671
1671
1672− # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1672+ "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1673 - Agda
1673 - Agda
1674
1674
1675 "James Cook <mokus@deepbondi.net> @mokus0":
1675 "James Cook <mokus@deepbondi.net> @mokus0":