Skip to content
GitLab
Explore
Sign in
Robbert Krebbers
ra-gps
Repository
sra-gps
.gitlab-ci.yml
Find file
Blame
History
Permalink
Drop support for coq 8.5.
· 3dcd4f24
Janno
authored
Jan 05, 2017
3dcd4f24
Validating GitLab CI configuration…
Learn more