diff options
| author | Justin Le <justin@jle.im> | 2016-01-07 00:09:52 -0800 |
|---|---|---|
| committer | Justin Le <justin@jle.im> | 2016-01-07 00:09:52 -0800 |
| commit | cc18707dc26ae27b338bc7ff033921b7e4946294 (patch) | |
| tree | c82de5201eb04fb7dc6594b6fa718d954d1882c4 /stack.yaml | |
| parent | e97a22d5bbdde5b96d9401a7abb25534a2d45bd1 (diff) | |
| parent | 0fc937994fb46bd3c4f2679165e414a89746cea6 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -10,7 +10,6 @@ flags: | |||
| 10 | packages: | 10 | packages: |
| 11 | - packages/tests/ | 11 | - packages/tests/ |
| 12 | - packages/special/ | 12 | - packages/special/ |
| 13 | - packages/sparse/ | ||
| 14 | - packages/gsl/ | 13 | - packages/gsl/ |
| 15 | - packages/glpk/ | 14 | - packages/glpk/ |
| 16 | - packages/base/ | 15 | - packages/base/ |