| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-01-14 | coqPackages.vsrocq-language-server: init at 2.3.4 | Théo Zimmermann |
| 2026-01-14 | rocqPackages.vsrocq-language-server: 2.3.3 -> 2.3.4 | Théo Zimmermann |
| 2026-01-06 | treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs | Ihar Hrachyshka |
| 2025-12-12 | ocamlPackages.yojson: 2.2.2 → 3.0.0 | Vincent Laporte |
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-11-19 | rocqPackages.vsrocq-language-server: init at 2.3.3. | jstrattonsmith |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |