diff options
author | idontgetoutmuch <dominic@steinitz.org> | 2018-03-26 00:15:39 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-26 00:15:39 -0700 |
commit | 560f38ab27bcc44c80ce7d9c2e4972342170fe28 (patch) | |
tree | 2aef5c26b5d19b6029078f27533515a679c8267e /stack.yaml | |
parent | f7ea5ed206af85cafec1e8bef824f0dd5a9f63fb (diff) | |
parent | 13fcfabce2edf2a276bb5ba1f47cdf8fdfd9958a (diff) |
Merge pull request #1 from mboes/sundials
Cleanups to Sundials PR
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 | ||