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