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 asked
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
>a debian user, but I'm trying my best :)
>
>y
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 p
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
5 matches
Mail list logo