/gnu/store/427cdj41lxgczbwc1wwclxfi8wkryh5j-dejagnu-1.6.2.drv