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

Revert "temporarily disable Agda to break dependency cycle"

Browse Source 
This reverts commit 3ab7922cc0.
This commit is contained in:
Jens Petersen 2023-06-23 09:21:08 +08:00
parent b9c4817996
commit 8d924cd951
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

@ -76,7 +76,7 @@ packages:
- geniplate-mirror
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- Agda < 0
- Agda
- agda2lagda
- BNFC
- cabal-clean