Bug#946580: No coqidetop in coq package breaks editor plugins

2020-01-15 Thread Ralf Treinen
Hi, On Wed, Jan 15, 2020 at 12:06:20PM -0500, Julien Lepiller wrote: > Thanks for the fix! The changelog seems to imply your change of coqidetop was > after coq upstream advice. To be clear, I am only the upstream of a plugin > that uses coq, not an upstream of coq itself :) yes I know. I

Bug#946580: No coqidetop in coq package breaks editor plugins

2020-01-15 Thread Julien Lepiller
Thanks for the fix! The changelog seems to imply your change of coqidetop was after coq upstream advice. To be clear, I am only the upstream of a plugin that uses coq, not an upstream of coq itself :)

Bug#946580: No coqidetop in coq package breaks editor plugins

2019-12-12 Thread Julien Lepiller
Le 11 décembre 2019 21:54:54 GMT+01:00, Ralf Treinen a écrit : >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 :) >

Bug#946580: No coqidetop in coq package breaks editor plugins

2019-12-11 Thread Ralf Treinen
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

Bug#946580: No coqidetop in coq package breaks editor plugins

2019-12-11 Thread Julien Lepiller
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 :) 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,