| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | coq.withPackages: document use with language servers•••Added guidance on installing Rocq language servers when using `coq.withPackages`. #484870 | Théo Zimmermann | 2026-02-01 | 1 | -0/+2 |
| * | Rocq: Update documentation | Pierre Roux | 2026-01-26 | 1 | -0/+187 |
 |
index : nixos/nixpkgs | |
| Unnamed repository; edit this file 'description' to name the repository. | Oleg Pykhalov |
| summaryrefslogtreecommitdiff |