git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3014 from enolan/update-stack-yaml
fc66d24Niklas Larsson
stack.yaml−1
compare with master
unifiedsplit
@@ -5,7 +5,6 @@ flags:
5 idris:
5 idris:
6 FFI: true
6 FFI: true
7 GMP: True
7 GMP: True
8− curses: True
9extra-deps:
8extra-deps:
10- annotated-wl-pprint-0.7.0
9- annotated-wl-pprint-0.7.0
11- cheapskate-0.1.0.4
10- cheapskate-0.1.0.4