| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-util/coq-lsp: Use `*` to specify the deps version |   Hiroki Tokunaga | 2024-07-22 | 1 | -5/+4 |
| * | dev-util/coq-lsp: new package, add 0.1.9 | Hiroki Tokunaga | 2024-07-16 | 3 | -0/+61 |
GitWeb
GitWeb
 |
index : repo/proj/guru.git | |
| GURU: repository of new packages maintained collaboratively by users | GURU project <guru@gentoo.org> |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-util/coq-lsp: Use `*` to specify the deps version | Hiroki Tokunaga | 2024-07-22 | 1 | -5/+4 |
| * | dev-util/coq-lsp: new package, add 0.1.9 | Hiroki Tokunaga | 2024-07-16 | 3 | -0/+61 |