diff options
| author | idontgetoutmuch <dominic@steinitz.org> | 2018-03-26 10:32:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-26 10:32:51 +0100 |
| commit | 9fd7adf7dda75077b85f0337a548be9138fc1ed5 (patch) | |
| tree | 03e23b7027dd1e7983a98328b47aa795256005de /stack.yaml | |
| parent | 560f38ab27bcc44c80ce7d9c2e4972342170fe28 (diff) | |
Revert "Cleanups to Sundials PR"
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 | ||