tag name | V8.4pl1 (275706e5fc6319545ee9e7020bc9f7ecb7681848) |
tag date | 2013-11-18 17:55:35 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 46b4aac455... |
download | coq-8.4pl1.zip coq-8.4pl1.tar.gz coq-8.4pl1.tar.bz2 |
---|
Restoring SVN tags