| tag name | upstream/8.1.pl3+dfsg (b4fb3cecada8d24bdeafaa785f52103590f7953a) |
| tag date | 2008-01-03 16:26:12 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 2281410e38... |
Upstream version 8.1.pl3+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |