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