| tag name | upstream/8.5_beta1+dfsg (b8e8c71b6c92e604b870dc8323a8d4ba8e53a7bb) |
| tag date | 2015-01-25 14:43:16 +0100 |
| tagged by |  Enrico Tassi <gareuselesinge@debian.org> |
| tagged object | commit cec4741afa... |
Upstream version 8.5~beta1+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |