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