/gnu/store/mx1iws8vbl3sw2y7sk67pflwdd10y431-agda-1lab-0.0-1.47ca1d2.drv