Code

[new release] coq-lsp (0.1.9+8.17)#25992

Code

Merged

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

+61

Commits

Commits on May 31, 2024

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

  Show description for ac0ffb0
  ejgallego

  committed
  ac0ffb0