Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
opam
Find file
Blame
History
Permalink
don't claim to be compatible with arbitrary dev version of Coq
· a21a91dd
Ralf Jung
authored
Sep 18, 2017
a21a91dd