Théo Zimmermann 90654cce7d coqPackages.mkCoqDerivation: fix useDune2 ... - Reuse build phase from the `buildDunePackage` function. - Only install the package that was just built (useful for monorepo support). - Introduces `opam-name` to override the default package name to build with Dune.		2021-08-17 14:38:47 +02:00
..
meta-fetch
default.nix	coqPackages.mkCoqDerivation: fix useDune2	2021-08-17 14:38:47 +02:00
extra-lib.nix