diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-10-08 12:29:50 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-08 12:30:13 -0700 |
| commit | 21c5b51ce2acd6d4045d2a4033bb69178f8bac43 (patch) | |
| tree | d691b90ebc1442aa291b1cc7de9cc4bfaeaee047 /make_deb.sh | |
| parent | 0abd0a4268d3c260f7a9f3f65b1469d032dc5d91 (diff) | |
travis: use ghc 7.10.2 instead of 7.10.1.
Diffstat (limited to 'make_deb.sh')
0 files changed, 0 insertions, 0 deletions