Code

[new release] coq-lsp (0.2.2+8.19)#26673

Code

Merged

mseri merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom ejgallego:release-coq-lsp-0.2.2+8.19ejgallego/opam-repository:release-coq-lsp-0.2.2+8.19Copy head branch name to clipboardOct 7, 2024

+73

Commits

Commits on Oct 4, 2024

• [new release] coq-lsp (0.2.2+8.19)

  Show description for 75297ef
  ejgallego

  committed
  75297ef

  Copy full SHA for 75297ef