Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
examples
Repository
examples
README.md
Find file
Blame
History
Permalink
test against Coq 8.8.2, and use that for nightly builds as well
· 2c09cf1f
Ralf Jung
authored
Nov 01, 2018
2c09cf1f