Skip to content
v8.12.2.0
default avatar
7895506+MSoegtropIMC@users.noreply.github.com
67dd0221 · Added opam packages for coq and coqide 8.12.2 (not yet upstream in the · 
Release 8.12.2.0