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