| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/dune-rpc: drop 3.13.1 |   David Roman | 3 days | 2 | -48/+0 |
| * | dev-ml/dune-rpc: add 3.16.0 |   Hiroki Tokunaga | 2024-08-02 | 2 | -0/+48 |
| * | dev-ml/dune-rpc: replace removed dependencies | Hiroki Tokunaga | 2024-08-02 | 1 | -3/+1 |
| * | dev-ml/dune-rpc: new package, add 3.13.1 | Hiroki Tokunaga | 2024-07-29 | 3 | -0/+62 |
GitWeb