MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-15 06:14:57 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
nixpkgs/pkgs/development/coq-modules/vscoq-language-server
History
É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