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