Skip to content

{coq,rocq}Packages.mk{Coq,Rocq}Derivation: move env variables into env for structuredAttrs - #492142

Merged
philiptaron merged 2 commits into
NixOS:masterfrom
SFrijters:coq-env
Jul 6, 2026
Merged

{coq,rocq}Packages.mk{Coq,Rocq}Derivation: move env variables into env for structuredAttrs#492142
philiptaron merged 2 commits into
NixOS:masterfrom
SFrijters:coq-env

rocqPackages.mkRocqDerivation: move env variables into env

0f83565
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
prepare
succeeded Jul 6, 2026 in 21s