full — diff
From 1e1fb73918c3 to 4acc79b6e4b9
Package changes
No differences.
Repository commits
opam-repository da43949dba25..e991f326d5c1
| Commit | Date | Author | Subject |
|---|---|---|---|
| e991f326d5 | 2026-08-04 | Jan Midtgaard | Merge pull request #30401 from Kakadu/coq-lsp.0.1.6+8.16-mirror |
| 4ffb1e4073 | 2026-08-04 | Kakadu | Add opam-source-archive mirror for coq-lsp.0.1.6+8.16 |