tag name | upstream/8.3.pl3+dfsg (01a04d2b66685d2d620831ecb6c32cd3fce47112) |
tag date | 2011-12-25 13:23:25 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 5fe4ac437b... |
Upstream version 8.3.pl3+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3.pl3+dfsg (01a04d2b66685d2d620831ecb6c32cd3fce47112) |
tag date | 2011-12-25 13:23:25 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 5fe4ac437b... |