Store DerivationOption inside Derivation, put in JSON format#10760
Draft
haenoe wants to merge 4 commits into
Draft
Store DerivationOption inside Derivation, put in JSON format#10760haenoe wants to merge 4 commits into
DerivationOption inside Derivation, put in JSON format#10760haenoe wants to merge 4 commits into
