idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity

Add haskeline to extra-deps for default stack.yaml

Browse Source
This commit is contained in:
Conjunctive 2020-06-10 18:42:19 -07:00
parent bf5431b54d
commit 03dec0f9ae
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
stack-15.12.yaml
View File

@ -3,6 +3,7 @@ resolver: lts-15.12
extra-deps:
- cheapskate-0.1.1.2
- haskeline-0.8.0.0@sha256:0630452b759a5b40e0e3e7ca2ef4b0d55d5161d95e8d7b0dd3cf55888971437f,5440
flags:
idris: