| tag name | upstream/8.4pl4dfsg (1ff786433a0c62701c2cce7e2cebe020385c6ce6) |
| tag date | 2014-07-27 10:02:44 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 420f78b2ca... |
Upstream version 8.4pl4dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |