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