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