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

Enable idris back

Browse Source 
Tested in lastest nightly and it worked fine for me.
This commit is contained in:
Sibi Prabakaran 2017-09-12 17:16:45 +05:30
parent 8611bc166a
commit f4580e54c6
No known key found for this signature in database
GPG Key ID: D19E3E0EBB557613
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

@ -1180,7 +1180,7 @@ packages:
# - cabal-rpm # GHC 8.2.1 # - cabal-rpm # GHC 8.2.1
# - stackage-query # via stackage-types compilation failure # - stackage-query # via stackage-types compilation failure
# - cabal-sort # BLOCKED directory 1.3 # - cabal-sort # BLOCKED directory 1.3
# - idris # bounds aeson - idris
- libffi - libffi
- xmonad-contrib - xmonad-contrib
- shelly - shelly