opam-repository/packages/coq-lsp/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-lsp /

at main 27 folders

[new release] coq-lsp (0.1.0)

3 years ago

coq-lsp.0.1.1+v8.16

[new release] coq-lsp (0.1.1+v8.16)

3 years ago

coq-lsp.0.1.2+v8.16

[new release] coq-lsp (0.1.2+v8.16)

2 years ago

coq-lsp.0.1.3+v8.16

[new release] coq-lsp (0.1.3+v8.16)

2 years ago

coq-lsp.0.1.4+v8.16

[new release] coq-lsp (0.1.4+v8.16)

2 years ago

coq-lsp.0.1.5+8.16

[new release] coq-lsp (0.1.5+8.16)

2 years ago

coq-lsp.0.1.5.1+8.16

[new release] coq-lsp (0.1.5.1+8.16)

2 years ago

coq-lsp.0.1.6+8.16

[new release] coq-lsp (0.1.6+8.16)

2 years ago

coq-lsp.0.1.6.1+8.17

[new release] coq-lsp (0.1.6.1+8.17)

2 years ago

coq-lsp.0.1.7+8.16

[new release] coq-lsp (0.1.7+8.16)

2 years ago

coq-lsp.0.1.7+8.17

Merge pull request #24081 from ejgallego/release-coq-lsp-0.1.7+8.16

2 years ago

coq-lsp.0.1.7+8.18

[new release] coq-lsp (0.1.7+8.18)

2 years ago

coq-lsp.0.1.8+8.16

Merge pull request #24672 from ejgallego/release-coq-lsp-0.1.8+8.18

2 years ago

coq-lsp.0.1.8+8.17

[new release] coq-lsp (0.1.8+8.17)

2 years ago

coq-lsp.0.1.8+8.18

[new release] coq-lsp (0.1.8+8.18)

2 years ago

coq-lsp.0.1.8+8.19

[new release] coq-lsp (0.1.8+8.19)

2 years ago

coq-lsp.0.1.9+8.17

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

2 years ago

coq-lsp.0.1.9+8.18

[new release] coq-lsp (0.1.9+8.18)

2 years ago

coq-lsp.0.1.9+8.19

Merge pull request #25986 from ejgallego/release-coq-lsp-0.1.9+8.19

2 years ago

coq-lsp.0.2.0+8.17

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

1 year ago

coq-lsp.0.2.0+8.18

Merge pull request #26457 from ejgallego/release-coq-lsp-0.2.0+8.19

1 year ago

coq-lsp.0.2.0+8.19

[new release] coq-lsp (0.2.0+8.19)

1 year ago

coq-lsp.0.2.0+8.20

[new release] coq-lsp (0.2.0+8.20)

1 year ago

coq-lsp.0.2.2+8.17

Merge pull request #26672 from ejgallego/release-coq-lsp-0.2.2+8.20

1 year ago

coq-lsp.0.2.2+8.18

[new release] coq-lsp (0.2.2+8.18)

1 year ago

coq-lsp.0.2.2+8.19

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

1 year ago

coq-lsp.0.2.2+8.20

[new release] coq-lsp (0.2.2+8.20)

1 year ago