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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
