/gnu/store/v34gz8k6r6ihmd491f5bmsmkjmykvw5d-agda-stdlib-1.7.2-checkout.drv