tag name | upstream/8.2.pl2+dfsg (c4e05eb2f29c7e71fe5dfc3533521abcc5de2403) |
tag date | 2010-07-02 10:46:39 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit da178a880e... |
Upstream version 8.2pl2+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.2.pl2+dfsg (c4e05eb2f29c7e71fe5dfc3533521abcc5de2403) |
tag date | 2010-07-02 10:46:39 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit da178a880e... |