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 :)
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
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, althoug
3 matches
Mail list logo