diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -13,11 +13,5 @@ packages: | |||
13 | - packages/gsl/ | 13 | - packages/gsl/ |
14 | - packages/glpk/ | 14 | - packages/glpk/ |
15 | - packages/base/ | 15 | - packages/base/ |
16 | - packages/sundials/ | 16 | extra-deps: [] |
17 | extra-deps: | 17 | resolver: lts-8.15 |
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 | ||