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
