Luko van der Maas (Oct 31 2023 at 14:31): Luko van der Maas (Oct 31 2023 at 14:31):My vscoq plugin just updated and the new version does not work properly with Elpi as is already documented I saw. I thus wanted to use the vscoq legacy extension, but the elpi lang plugin requires the vscoq plugin to be activated. Now both vscoq legacy and the normal vscoq are active in my editor. What would be the best fix?
Enrico Tassi (Oct 31 2023 at 14:36):Hum, this is a bug I did not fix yet. I think this dependency is what is problematic: https://github.com/LPCIC/coq-elpi-lang/blob/master/package.json#L20
Currently I'm not using the legacy vscoq, but rather downgrade the main one to 0.3.9 (or something like that).
Enrico Tassi (Oct 31 2023 at 14:36):I'm not very familiar with package.json, if I can just use a disjunction, then I can make a release immediately I hope.
Enrico Tassi (Oct 31 2023 at 14:37):Maybe I should just drop the dependency...
Last updated: Oct 13 2024 at 01:02 UTC