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