nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-31 18:15:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
6e1ec4b79b
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