tag name | upstream/8.4_gamma0+really8.4beta2 (fda93360cbda05d3f0a26066dcb7b26e32fab0b5) |
tag date | 2012-06-04 12:07:56 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 61dc740ed1... |
Upstream version 8.4~gamma0+really8.4beta2
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.4_gamma0+really8.4beta2 (fda93360cbda05d3f0a26066dcb7b26e32fab0b5) |
tag date | 2012-06-04 12:07:56 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 61dc740ed1... |