/gnu/store/1wg7xalc8dq2sh4s6zm2n7004cvc7rpv-gnu-efi-3.0.13.tar.bz2.drv

Inputs

No inputs