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