Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
README.md
Find file
Blame
History
Permalink
Merge branch 'ralf/no-coq-8.10' into 'master'
· f4ff2b49
Ralf Jung
authored
Dec 16, 2020
drop support for Coq 8.10 Closes #388 See merge request
iris/iris!603
f4ff2b49