Hello, On Wed, Dec 11, 2019 at 10:31:57AM +0100, Julien Lepiller wrote: > Package: coq > Version: 8.9.0-1 > > Hi, sorry in advance if my message is not formated correctly. I'm not a > debian user, but I'm trying my best :)
your bug report is fine, don't worry ;-) > I'm the developer of a coq plugin in neovim called coquille. One of my users > reported a failure at starting the plugin due to coq not being found, > although the package was installed. We have determined that the issue was > caused by the absence of coqidetop, although they had coq 8.9 installed. > > Before coq 8.9, I could use coqtop with the -ide-slave option. That option is > now replaced by a separate binary, coqidetop, that I need in order to > evaluate coq expressions from my plugin. coq 8.9.0 had building of the coqide switched off, and as a consequence there was no coqide package for that version. I am currently working on updating the coq package to version 8.10.2, including a coqide package. That package will also include the coqidetop binary. I hope to upload the package in the next days, but then it will have to be accepted by the ftp masters before it will be visible in unstable, and I don't know how long that will take. -Ralf.