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