| tag name | V7-2 (cf335d602ab4d58a36d4d5cca3f03951c6da442a) |
| tag date | 2013-11-18 17:55:32 (GMT) |
| tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
| tagged object | commit 43b06dafec... |
| download | coq-7-2.zip coq-7-2.tar.gz coq-7-2.tar.bz2 |
|---|
Restoring SVN tags