Code

[new release] coq-lsp (0.2.2)#26676

Code

Closed

ejgallego wants to merge 1 commit intoocaml:masterocaml/opam-repository:masterfrom ejgallego:release-coq-lsp-0.2.2ejgallego/opam-repository:release-coq-lsp-0.2.2Copy head branch name to clipboard

+71

Commits

Commits on Oct 4, 2024

• [new release] coq-lsp (0.2.2)

  Show description for ee28911
  ejgallego

  committed
  ee28911

  Copy full SHA for ee28911