diff options
author | Alberto Ruiz <aruiz@um.es> | 2017-06-01 10:11:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-01 10:11:24 +0200 |
commit | a08df91da6362d348635211a6d77d85501a72ab2 (patch) | |
tree | 75d9bfed7206d92426eeb8f0e1d4602b7ac181eb /packages/glpk/src/Numeric | |
parent | 020c0e092707101d69dbe4c73944a4352a7aa1bc (diff) | |
parent | 80d809f7e6df7196bb711420698f173c7a8e6e9c (diff) |
Merge pull request #229 from varosi/varosi/lts815
Support for LTS 8.15 (GHC 8.0.2) under Windows
Diffstat (limited to 'packages/glpk/src/Numeric')
0 files changed, 0 insertions, 0 deletions