Skip to content
GitLab
Explore
Sign in
reloc
README.md
Find file
Blame
History
Permalink
bump tested Coq version to 8.13
· fc7c5242
Ralf Jung
authored
Jun 03, 2021
fc7c5242
Ralf Jung authoredfc7c5242