/gnu/store/0k7fqj5bbr3x6mp9ja6wrnmbzr2z6r1v-sed-boot0-4.8.drv