Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
string-ident
Repository
Branches
Overview
Active
Stale
All
v8.11
b3a645d8
·
Restore compatibility with Coq 8.11
·
Apr 06, 2020
master
default
protected
bd6c3503
·
Fix installation instructions
·
Apr 06, 2020