This is the version supporting drafts and talks ca. 2017,  Coq (probably) 8.6 to 8.8
This tag has no release notes.