Vincent Laporte a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix		2017-01-25 10:29:13 +00:00
..
8.3.nix	treewide: move to ocaml-ng system	2016-09-26 02:36:49 +03:00
8.4.nix	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect	2016-12-22 10:35:56 -08:00
configure.8.3.patch
configure.patch
default.nix	coq: merge files 8.5.nix and 8.6.nix into default.nix	2017-01-25 10:29:13 +00:00
HEAD.nix	coq_HEAD: Update to the latest commit as of 2016-12-13	2016-12-13 08:09:23 -08:00
no-codesign.patch