git.iko.soy/Idris-dev
on 3f8b424 help sign in
Idris-dev/stack.yaml
14 lines 209 B history raw
1resolver: lts-4.2
2packages:
3- '.'
4flags:
5 idris:
6 FFI: true
7 GMP: True
8extra-deps:
9- annotated-wl-pprint-0.7.0
10- cheapskate-0.1.0.4
11- libffi-0.1
12nix:
13 enable: false
14 shell-file: stack-shell.nix