tag name | V8.4 (08af22b7de836a5fef0f9947a5f0894d371742de) |
tag date | 2013-11-18 17:55:34 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 3366f276c6... |
download | coq-8.4.zip coq-8.4.tar.gz coq-8.4.tar.bz2 |
---|
Restoring SVN tags