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