Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
string-ident
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
default
protected
bd6c3503
·
Fix installation instructions
·
Apr 06, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.11
b3a645d8
·
Restore compatibility with Coq 8.11
·
Apr 06, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar