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

Add Agda

Browse Source
This commit is contained in:
Andreas Abel 2020-10-29 23:51:58 +01:00
parent 0bc122837b
commit 64aea85458
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