diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -13,5 +13,11 @@ packages: | |||
13 | - packages/gsl/ | 13 | - packages/gsl/ |
14 | - packages/glpk/ | 14 | - packages/glpk/ |
15 | - packages/base/ | 15 | - packages/base/ |
16 | extra-deps: [] | 16 | - packages/sundials/ |
17 | resolver: lts-8.15 | 17 | extra-deps: |
18 | - diagrams-rasterific-1.4 | ||
19 | - plots-0.1.0.2 | ||
20 | resolver: lts-10.9 | ||
21 | nix: | ||
22 | path: [nixpkgs=./nixpkgs.nix] | ||
23 | shell-file: shell.nix | ||