haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-13 07:48:31 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Uncomment maintener name of Agda.

Browse Source
This commit is contained in:
Andrés Sicard-Ramírez 2016-09-03 16:45:57 -05:00
parent 63049d36cb
commit 7bcef4e7ee
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -1669,7 +1669,7 @@ packages:
# GHC 8 - ghc-parser
# GHC 8 - ipython-kernel
# "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda
"James Cook <mokus@deepbondi.net> @mokus0":