Bug#920589: coqide is not longer packaged for amd64

[Lars Dölle <lars.doelle@on-line.de>]

Package: coq
Version: 8.8.2-1

Hi,

thank you very much for maintaining the coq packages.

As the subject says, coqide is not longer packaged in the
latest sid version.

Citing from debian/rules
| CONFIGUREOPTS := ...
|   -coqide no \

The file debian/README.Debian now contains a comment
saying that coqtop/readline and Proof-General/emacs
are suggested as frontends.

I write to ask why coqide is not longer packaged and
whether the situation is intended to be permanent.

Kind regards

  Lars