tag name | upstream/8.3 (e8436fc1f0017edc420edced69227ddab795ba6d) |
tag date | 2010-10-14 17:51:16 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 3e96002677... |
Upstream version 8.3
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3 (e8436fc1f0017edc420edced69227ddab795ba6d) |
tag date | 2010-10-14 17:51:16 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 3e96002677... |