tag name | V8.3pl2 (37bc52ae4e4eea6e4488dbb2e2b1ad98acc9b8f5) |
tag date | 2013-11-18 17:55:34 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 9341752f9b... |
download | coq-8.3pl2.zip coq-8.3pl2.tar.gz coq-8.3pl2.tar.bz2 |
---|
Restoring SVN tags