tag name | upstream/8.3.pl4+dfsg (bf82e017a12e8640a7bf099e9a5d3e88a1147ecc) |
tag date | 2012-03-27 07:47:04 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 6e34b272d7... |
Upstream version 8.3.pl4+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3.pl4+dfsg (bf82e017a12e8640a7bf099e9a5d3e88a1147ecc) |
tag date | 2012-03-27 07:47:04 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 6e34b272d7... |