/gnu/store/lwjd7rwl5ya4yzkh18bkiw2qks8qblw4-coq-coquelicot-3.1.0-checkout.drv