| tag name | debian/8.6-4 (00767f04f9f14e4b3ed19cf9ac7269fe366bedd4) |
| tag date | 2016-12-30 00:36:29 +0100 |
| tagged by |  Enrico Tassi <gareuselesinge@debian.org> |
| tagged object | commit c2f1eda504... |
coq Debian release 8.6-4
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |