tag name | upstream/8.2.pl1+dfsg (deef30f6aec0954b20629e56ab2c4bddc704f3c2) |
tag date | 2009-07-04 13:28:37 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit e4282ea99c... |
Upstream version 8.2.pl1+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.2.pl1+dfsg (deef30f6aec0954b20629e56ab2c4bddc704f3c2) |
tag date | 2009-07-04 13:28:37 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit e4282ea99c... |