diff options
author | John Wiegley <johnw@newartisans.com> | 2018-10-04 17:13:02 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-10-04 17:13:41 -0700 |
commit | df48060e4cde381842e943cf36831de02e290576 (patch) | |
tree | fbaf187dc061c53edc95fecf6a62c51543577459 /doc/Makefile | |
parent | 9db0207496cc0ba7534890230b79f1353e5c4785 (diff) |
coqPackages.coq-haskell: Support building with Coq 8.8
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions