Change logs for coq-doc source package in Hirsute

coq-doc (8.6-1) unstable; urgency=medium

  * Team upload.
  * New upstream version 8.6 (Closes: #864468)
  * add myself to uploaders
  * bump standards version to 4.0.0
  * fix build dependencies
  * changed Vcs fields to https
  * fixed missing axiom picture in FAQ
  * remove unterminated_string_literal patch (fixed upstream)
  * updated doc-base entries
  * added .gitignore in debian dir to ignore editor backups

 -- Hendrik Tews <email address hidden>  Wed, 05 Jul 2017 22:29:28 +0200