| tag name | upstream/8.1+dfsg (f3f06cc37b074e5739729c1d666f02306c3658bf) |
| tag date | 2007-02-13 13:48:12 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 55ce117e80... |
Upstream version 8.1+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |