diff options
author | 2017-11-08 15:32:12 +0100 | |
---|---|---|
committer | 2017-11-09 09:09:22 +0100 | |
commit | 25904a7915c7586d4e39416d6cc87d433ff8f95e (patch) | |
tree | 4b82099ad6dd11dff25e78bddbef0cb2083d87dc /CONTRIBUTING.md | |
parent | 360d28670511d51c2b63692c9ce0f7ebe5f1ae3e (diff) |
Introduce default.nix for Nix users.
This file can be used to get in an environment ready to compile Coq
(with `nix-shell`) or to compile and install Coq (with `nix-build`).
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions