diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-08 15:32:12 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-09 09:09:22 +0100 |
commit | 25904a7915c7586d4e39416d6cc87d433ff8f95e (patch) | |
tree | 4b82099ad6dd11dff25e78bddbef0cb2083d87dc /.bintray.json | |
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 '.bintray.json')
0 files changed, 0 insertions, 0 deletions