Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Repository
string-ident
README.md
Find file
Blame
History
Permalink
the version in opam is the Coq 8.11 version
· af5d0d55
Ralf Jung
authored
Jul 15, 2020
af5d0d55