Théo Zimmermann fa12476755 coq: add ocamlPackages in passthru ... We might need OCaml packages that are not the one Coq is depending on but they still need to come from the same package set (same OCaml version).		2018-10-17 13:26:43 +02:00
..
8.4.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
configure.patch	Update coq to 8.4	2012-08-19 01:01:30 -04:00
default.nix	coq: add ocamlPackages in passthru	2018-10-17 13:26:43 +02:00