Andreas Beckmann Thu, 08 Jun 2017 23:15:57 -0700
Package: coq-doc Version: 8.4pl4-2 Severity: important Hi,
this package looks outdated compared to coq 8.6-4 in stretch/sid. Andreas