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

Merge pull request #727 from asr/master

Browse Source 
Add Agda (fourth try)
This commit is contained in:
Jens Petersen 2015-08-03 23:52:19 +09:00
commit 098b4406c9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -1224,6 +1224,9 @@ packages:
- refact
- servant-pandoc
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum
- dependent-sum-template