tag name | upstream/8.3.pl2 (950d12196b173b16b056bcd543b547bc01480b08) |
tag date | 2011-04-19 16:44:40 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 9d27ae0978... |
Upstream version 8.3.pl2
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3.pl2 (950d12196b173b16b056bcd543b547bc01480b08) |
tag date | 2011-04-19 16:44:40 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 9d27ae0978... |