Vincent Laporte 110fd8d577 mkCoqDerivation: fix install path of ML plug-in built w/ dune ... (cherry picked from commit be19b5ebc6)		2024-07-09 07:29:35 +02:00
..
meta-fetch
default.nix	mkCoqDerivation: fix install path of ML plug-in built w/ dune	2024-07-09 07:29:35 +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