nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages: {withPackage,rocq-core} should use coq from the scope (#561336)

Browse Source
This commit is contained in:
Théo Zimmermann
2026-09-09 08:00:48 +00:00
committed by GitHub
parent 839438bee0 3d94f6a0f3
commit 44f3ea08fa
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/coq-packages.nix
View File

@@ -59,13 +59,13 @@ let
withPackages =
f:
(callPackage ../applications/science/logic/coq/with-packages.nix {
inherit coq;
inherit (self) coq;
})
(f self);
};
});
rocq-core = coq;
rocq-core = self.coq;
contribs = lib.recurseIntoAttrs (callPackage ../development/rocq-modules/contribs { });