/gnu/store/a30swkd6r1s4v224719wfb591n1d6p4s-dejagnu-1.6.2.drv