/gnu/store/8shpa8318q9zn21fnxrbxy8phb8ic0g7-coq-coquelicot-3.1.0-checkout.drv