diff options
| author | idontgetoutmuch <dominic@steinitz.org> | 2019-06-30 09:03:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-30 09:03:23 +0100 |
| commit | 03f114e2d849bbffac89e535c7736ebe7e4d1762 (patch) | |
| tree | a8d57bc9f286bdc3cb1b196a5dec78e805b49996 /stack.yaml | |
| parent | 89c12f2b97f35b5e2722c3a9134516e813b205bd (diff) | |
| parent | cb09d0e99ae4f10cd2b3f3ac667df83946a9744d (diff) | |
Merge pull request #306 from idontgetoutmuch/master
Remove sundials as it has its own repo now. Fix
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -13,7 +13,6 @@ packages: | |||
| 13 | - packages/gsl/ | 13 | - packages/gsl/ |
| 14 | - packages/glpk/ | 14 | - packages/glpk/ |
| 15 | - packages/base/ | 15 | - packages/base/ |
| 16 | - packages/sundials/ | ||
| 17 | - examples/ | 16 | - examples/ |
| 18 | extra-deps: | 17 | extra-deps: |
| 19 | - diagrams-rasterific-1.4 | 18 | - diagrams-rasterific-1.4 |