diff options
author | 2017-12-04 15:10:49 +0000 | |
---|---|---|
committer | 2017-12-04 15:10:49 +0000 | |
commit | 359119ff1389d489454d2d55fc5d23e9e71c2daf (patch) | |
tree | 42c753bdf906a205095a4b4840cfa9a72c853b99 /test-suite/success/extraction.v | |
parent | 0048cbe810c82a775558c14cd7fcae644e205c51 (diff) |
[default.nix] needs ncurses for the test-suite
Diffstat (limited to 'test-suite/success/extraction.v')
0 files changed, 0 insertions, 0 deletions