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