Skip to content
GitLab
Explore
Sign in
David Jao
Coq platform
Tags
v8.12.2.0
v8.12.2.0
7895506+MSoegtropIMC@users.noreply.github.com
67dd0221
·
Added opam packages for coq and coqide 8.12.2 (not yet upstream in the
·
Dec 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Release 8.12.2.0