/gnu/store/zkzd65n4zqxhxf9vxvs4izn9pglm9zai-coq-stdpp-1.5.0.drv