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