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

Still disable Agda (#5826)

Browse Source
This commit is contained in:
Mihai Maruseac 2021-01-15 10:24:17 -08:00
parent 6192d089e2
commit 0b1d276854
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
build-constraints.yaml
View File

@ -25,7 +25,7 @@ packages:
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- BNFC
- STMonadTrans
- Agda
- Agda < 0 # https://github.com/commercialhaskell/stackage/issues/5826
- agda2lagda
- ListLike
@ -2434,9 +2434,6 @@ packages:
"Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
- ipython-kernel
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
[] # - Agda moved to Andreas Abel
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-map < 0 # via constraints-extras
- dependent-sum < 0 # via constraints-extras