tag name | V8.1pl1 (206a042d14fd5348f86800b783dda9e8c684b2fb) |
tag date | 2013-11-18 17:55:33 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit 6b29e2e184... |
download | coq-8.1pl1.zip coq-8.1pl1.tar.gz coq-8.1pl1.tar.bz2 |
---|
Restoring SVN tags