tag name | upstream/8.2.beta4+dfsg (e8b83c4c98f9c298496b8513cdce07dd8a162889) |
tag date | 2008-08-08 13:18:47 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 870075f34d... |
Upstream version 8.2~beta4+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.2.beta4+dfsg (e8b83c4c98f9c298496b8513cdce07dd8a162889) |
tag date | 2008-08-08 13:18:47 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 870075f34d... |