nixpkgs/pkgs/development/coq-modules/multinomials
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
..
default.nix coqPackages.mkCoqDerivation: fix useDune2 2021-08-17 14:38:47 +02:00