Vincent Laporte 5d61a87d94 mkCoqDerivation: fix install path of ML plug-in built w/ dune		2024-06-25 21:07:57 +02:00
..
meta-fetch	Avoid top-level with ...; in pkgs/build-support/coq/meta-fetch/default.nix	2024-03-19 22:31:19 +01:00
default.nix	mkCoqDerivation: fix install path of ML plug-in built w/ dune	2024-06-25 21:07:57 +02:00
extra-lib.nix	Avoid top-level with ...; in pkgs/build-support/coq/extra-lib.nix	2024-03-19 22:31:19 +01:00