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