Bug#680248: coq: please update README.Debian

[Nobuhiro Ban <ban.nobuhiro@gmail.com>]

Package: coq
Version: 8.3.pl4+dfsg-2
Severity: minor

Dear Maintainer,

>coq (8.3.pl4+dfsg-1) unstable; urgency=low
(snip)
>   * Replace proofgeneral-coq by proofgeneral in dependencies

Package dependencies are replaced, but README.Debian still suggests
proofgeneral-coq. Please update this file too.


>Coq frontends
>-------------
>For interactive use of coqtop, we suggest
> - a readline editor, such as ledit or rlwrap (or anything that provides the
>   readline-editor virtual packages);
> - or the Proof-General (x)emacs mode, available in the proofgeneral-coq
>   package.


Regards,
Nobuhiro