/gnu/store/b8pnhs41c11pqm8xlyk18mgxgs9b2pfp-gawk-boot0-5.2.1.drv