Fix #1587: the option shell.buildInputs
does not exist ...#1598
Merged
yvan-sraka merged 2 commits intomasterfrom Aug 18, 2022
Merged
Fix #1587: the option `shell.buildInputs` does not exist ...#1598yvan-sraka merged 2 commits intomasterfrom
yvan-sraka merged 2 commits intomasterfrom