pkgs/development/rocq-modules/vsrocq-language-server/
pkgs/development/rocq-modules/ · 0 packages and modules · 2 open pull requests
Pull requests 2
rocqPackages.vsrocq-language-server: 2.4.3 -> 2.5.0
#562999 by i-love-lean · opened 4w ago · checks pass
Closed or merged in the synced window 1
Issues 0
None open.