/gnu/store/rjwnaqk56dybppcc2vj9snxqjv2h2102-sed-boot0-4.8.drv