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