Élise 7026cdf28c coqPackages.vscoq-language-server: 2.1.4 → 2.1.7 ... Updates vscoq from 2.1.4 to 2.1.7. This does not introduce a new Coq version range.		2024-09-18 17:25:13 +02:00
..
default.nix	coqPackages.vscoq-language-server: 2.1.4 → 2.1.7	2024-09-18 17:25:13 +02:00