diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-05 13:14:17 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-05 13:14:17 +0000 |
commit | 1acd714b2b0253aae05af534f3c7f7c0e726617a (patch) | |
tree | 260ed23a54a2b05311265b0072b87b7050899ad3 /test-suite/success/Discriminate.v | |
parent | 359119ff1389d489454d2d55fc5d23e9e71c2daf (diff) |
[default.nix] explain ncurses dependency
Diffstat (limited to 'test-suite/success/Discriminate.v')
0 files changed, 0 insertions, 0 deletions