tag name | upstream/8.4pl2dfsg (1aaf911ce23e51226be86dd06d2c2ecabb227f91) |
tag date | 2013-05-08 17:47:15 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 499a11a45b... |
Upstream version 8.4pl2dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.4pl2dfsg (1aaf911ce23e51226be86dd06d2c2ecabb227f91) |
tag date | 2013-05-08 17:47:15 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 499a11a45b... |