tag name | V8.2beta2 (f12a923b29d6df611e2fdecbc31fbc3d1c2da06e) |
tag date | 2013-11-18 17:55:33 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 35b3e53106... |
download | coq-8.2beta2.zip coq-8.2beta2.tar.gz coq-8.2beta2.tar.bz2 |
---|
Restoring SVN tags