/gnu/store/1f30m6cs2qfxy8g3bvsw2r7skd5lddv3-krb5-1.18.tar.xz.drv