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

Merge pull request #5715 from andreasabel/master

Browse Source 
Add Agda
This commit is contained in:
Jens Petersen 2020-10-30 12:08:39 +08:00 committed by GitHub
commit 4ca19de401
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -15,6 +15,7 @@ packages:
"Andreas Abel <andreas.abel@gu.se> @andreasabel": "Andreas Abel <andreas.abel@gu.se> @andreasabel":
- BNFC - BNFC
- STMonadTrans - STMonadTrans
- Agda
"Diogo Biazus <diogo@biazus.ca>": "Diogo Biazus <diogo@biazus.ca>":
- hasql-notifications - hasql-notifications