Skip to content
GitLab
Explore
Sign in
David Jao
Coq platform
Tags
v8.11.2.alpha3
v8.11.2.alpha3
dd0e7285
·
Moved opam dependency on compiled schemas from gtk3 to gtksourceview3 (cause of cyclic dependency)
·
Aug 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar