| tag name | upstream/8.2-1+dfsg (311845d7203840bfd4ef2fdb86c2984855138ad4) |
| tag date | 2009-02-19 13:13:19 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit a0a94c1340... |
Upstream version 8.2-1+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |