/gnu/store/v13fihly0jnk4i9zyql2zr5x672fayz2-coq-8.11.2-checkout.drv