| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-01-06 | treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs | Ihar Hrachyshka | |
| Partial #208242 | |||
| 2025-07-28 | treewide: conform descriptions to the standards | mivorasu | |
| 2025-07-09 | coqPackages.*: more 9.0 -> 9.1 | Pierre Roux | |
| 2025-05-26 | coqPackages.RustExtraction: 0.1.0 → 0.1.1 | 4ever2 | |
| 2025-01-29 | coqPackages.metacoq: 1.3.2 → 1.3.4 | 4ever2 | |
| 2024-10-15 | coqPackages.RustExtraction: init at 0.1.0 | 4ever2 | |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |