Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
coq-stdpp.opam
Find file
Blame
History
Permalink
also accept installing with Coq 8.13 beta
· 213cb427
Ralf Jung
authored
Dec 09, 2020
213cb427