Code

[new release] coq-lsp (0.2.0+8.17)#26459

Code

Merged

mseri merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom ejgallego:release-coq-lsp-0.2.0+8.17ejgallego/opam-repository:release-coq-lsp-0.2.0+8.17Copy head branch name to clipboardSep 4, 2024

+73

Commits

Commits on Aug 29, 2024

• [new release] coq-lsp (0.2.0+8.17)

  Show description for b30a0df
  ejgallego

  committed
  b30a0df

  Copy full SHA for b30a0df