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