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