Bug#920589: coqide is not longer packaged for amd64
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
Reply to: