ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-17 11:47:20 +03:00
Code Issues Projects Releases Wiki Activity

change extra-deps for idris 1.1.0 lts-9.0 resolver

Browse Source 
stack.yaml extra-deps changed as resolver lts-9.0 doesn't have
the recently required versions of libs in the idris.cabal file.
note added to stack.yaml to re-examine extra-deps on resolver
or cabal file change.
note should probably be in the cabal file but I'm not sure where it
would be seen
This commit is contained in:
MarcelineVQ 2017-08-04 07:39:29 -07:00
parent 9d69b472ea
commit 0e118dda98
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
stack.yaml
View File

@ -1,3 +1,4 @@
#recheck extra-deps next on resolver or cabal file change
resolver: lts-9.0
packages:
@ -9,7 +10,8 @@ flags:
GMP: true
extra-deps:
- libffi-0.1
- binary-0.8.5.1
- cheapskate-0.1.1
nix:
enable: false