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