| tag name | debian/8.5_beta3+dfsg-1 (49a49e111994e62d152a0f91f4e1c263ee824d5a) |
| tag date | 2015-11-14 09:46:32 +0100 |
| tagged by |  Enrico Tassi <gareuselesinge@debian.org> |
| tagged object | commit b39748fd08... |
coq Debian release 8.5~beta3+dfsg-1
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |