diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
commit | 0434a8cdb16f1a66c3044c178e30d0fe6b55e488 (patch) | |
tree | b522eef57dc824d62b72e9a4f5b335bc67d8e09b /pretyping/evardefine.mli | |
parent | 01dffadf2716d6d88c236c7333b8c43a54d39f95 (diff) | |
parent | 1acd714b2b0253aae05af534f3c7f7c0e726617a (diff) |
Merge PR #6309: [default.nix] needs ncurses for the test-suite
Diffstat (limited to 'pretyping/evardefine.mli')
0 files changed, 0 insertions, 0 deletions