diff options
| author | Dominic Steinitz <dominic@steinitz.org> | 2018-03-28 11:20:23 +0100 |
|---|---|---|
| committer | Dominic Steinitz <dominic@steinitz.org> | 2018-03-28 11:20:23 +0100 |
| commit | fb80f07072991ca1bddae0a19a266abbfb0a8341 (patch) | |
| tree | c5280f54f3bcb7c3811a1f49d86d45c100ce06d1 /stack.yaml | |
| parent | 4d871f5372d8d242f4497de433433edec8e9e50c (diff) | |
Using hsc, semi-auto-generating documentation
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 | ||