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	coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)	2021-03-10 16:25:32 +01:00
default.nix	coqPackages.mkCoqDerivation: fix useDune2	2021-08-17 14:38:47 +02:00
extra-lib.nix