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