tag name | V8-0pl2 (71d0080ff394fa7d7898109f9c1dfb43ca596c8d) |
tag date | 2013-11-18 17:55:32 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 2cb5ddf346... |
download | coq-8-0pl2.zip coq-8-0pl2.tar.gz coq-8-0pl2.tar.bz2 |
---|
Restoring SVN tags