tag name | upstream/8.2.beta3+dfsg (8f37f74b9a6a097d0ee27f1345b0412d0082bde5) |
tag date | 2008-07-25 15:12:59 +0200 |
tagged by | Samuel Mimram <smimram@debian.org> |
tagged object | commit a0cfa4f118... |
Upstream version 8.2~beta3+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.2.beta3+dfsg (8f37f74b9a6a097d0ee27f1345b0412d0082bde5) |
tag date | 2008-07-25 15:12:59 +0200 |
tagged by | Samuel Mimram <smimram@debian.org> |
tagged object | commit a0cfa4f118... |