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