| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-01-22 | treewide: apply nixfmt 1.2.0 | Dyego Aurélio |
| 2026-01-06 | treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs | Ihar Hrachyshka |
| 2025-07-28 | treewide: conform descriptions to the standards | mivorasu |
| 2025-07-09 | coqPackages.*: more 9.0 -> 9.1 | Pierre Roux |
| 2025-07-09 | coqPackages.*: 9.0 -> 9.1 | Pierre Roux |
| 2025-05-26 | coqPackages.ElmExtraction: 0.1.0 → 0.1.1 | 4ever2 |
| 2025-02-12 | coqPackages.metacoq: 1.3.4-8.20 -> 1.3.4-9.0 | Pierre Roux |
| 2025-01-29 | coqPackages.metacoq: 1.3.2 → 1.3.4 | 4ever2 |
| 2025-01-26 | coq_9_0: init at 9.0+rc1 | Pierre Roux |
| 2024-09-11 | coqPackages.ElmExtraction: init at 0.1.0 (#326305) | 4ever2 |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |