Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-04-24 | maintainers: drop marsam | Mario Rodas | 1 | -1/+1 |
2024-02-16 | coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,... | Ali Caglayan | 1 | -0/+2 |
2023-10-26 | coqPackages.coq-lsp: 0.1.7 -> 0.1.8 | Théo Zimmermann | 1 | -6/+6 |
2023-09-15 | coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 | Ali Caglayan | 1 | -0/+2 |
2023-07-21 | coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7 | Léo Stefanesco | 1 | -4/+4 |
2023-04-04 | coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 | Ali Caglayan | 1 | -1/+3 |
2023-02-21 | coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16 | Mario Rodas | 1 | -0/+36 |