Bug#864468: coq-doc: outdated version

[Andreas Beckmann]

Package: coq-doc
Version: 8.4pl4-2
Severity: important

Hi,

this package looks outdated compared to coq 8.6-4 in stretch/sid.


Andreas