Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [default.nix] explain ncurses dependency | Vincent Laporte | 2017-12-05 |
* | [default.nix] needs ncurses for the test-suite | Vincent Laporte | 2017-12-04 |
* | Introduce default.nix for Nix users. | Théo Zimmermann | 2017-11-09 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [default.nix] explain ncurses dependency | Vincent Laporte | 2017-12-05 |
* | [default.nix] needs ncurses for the test-suite | Vincent Laporte | 2017-12-04 |
* | Introduce default.nix for Nix users. | Théo Zimmermann | 2017-11-09 |