coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

`cachedMake` does not work if `<nixpkgs>` is not defined

Open Zimmi48 opened this issue 3 years ago • 0 comments

As noticed by @kyoDralliam.

Zimmi48 avatar Feb 17 '22 10:02 Zimmi48