tag name | upstream/8.3.pl1+dfsg (b0115564ddf3276025d0118ce66446cec039306c) |
tag date | 2010-12-24 12:50:29 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 50dc9067e9... |
Upstream version 8.3.pl1+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3.pl1+dfsg (b0115564ddf3276025d0118ce66446cec039306c) |
tag date | 2010-12-24 12:50:29 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 50dc9067e9... |