| tag name | upstream/8.4pl3dfsg (69807918d9a37a052f8c7190aae12ba1e648bcea) |
| tag date | 2014-01-19 15:09:26 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit d2c5c5e616... |
Upstream version 8.4pl3dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |