/gnu/store/bzjr5906z6gf2s4lbpi6ay1dbs80ggap-coq-stdpp-1.4.0.drv