mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 19:51:17 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/build-support/coq
History
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