/gnu/store/1h6jip9z1s54g14d7jnipa7glfskj5ba-coq-stdpp-1.5.0.drv