| tag name | upstream/8.6 (bec23762de11aa8f536ac6901c83f302ee344e72) |
| tag date | 2016-12-27 16:53:32 +0100 |
| tagged by |  Enrico Tassi <gareuselesinge@debian.org> |
| tagged object | commit a4c7f8bd98... |
Upstream version 8.6
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |