git.iko.soy/Idris-dev
on 372d2ea help sign in
Idris-dev/stack.yaml
13 lines 134 B history raw
1resolver: lts-5.5
3packages:
4 - '.'
6flags:
7 idris:
8 FFI: true
9 GMP: true
11nix:
12 enable: false
13 shell-file: stack-shell.nix