coq/dev/ci/nix/shell, branch master

coq/dev/ci/nix/shell, branch master The formal proof system [nix-CI] Split the build inputs 2019-01-24T14:53:08+00:00 Vincent Laporte 2019-01-24T09:58:33+00:00 dec2994980e00eff72f474aed6da94b97c3d703a Coq and the Coq libraries can now be excluded (by setting the NOCOQ environment variable).

Coq and the Coq libraries can now be excluded
(by setting the NOCOQ environment variable).

Helpers for debugging external projects from CI 2018-11-12T16:10:20+00:00 Vincent Laporte 2018-09-14T14:27:39+00:00 7e014333c57bdede663e490743bc84f696764381