Vincent Laporte 68e4b639a3 Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native ... coq: Move dune, ocaml and findlib to nativeBuildInputs		2022-02-26 08:54:53 +01:00
..
default.nix	Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native	2022-02-26 08:54:53 +01:00