diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2020-12-01 11:20:11 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2020-12-01 11:20:11 -0500 |
| commit | 7a3ce60eec39866e007e12149e6348300ff9691b (patch) | |
| tree | 06fe9b2673d38905861d1e701b492ef46fe7d0bd /src | |
| parent | 504d9f0b843dfd0188d0fcd4f73f5806664862b2 (diff) | |
Support Debian unstablev0.1.1
Build with GHC and libraries from from Debian unstable. Eliminate one
GHC warning that’s been deprecated; no other changes are required.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions