coq-stdpp-1.5.0
13df6821 · also mention release managers ·