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