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