| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-02-11 | rocqPackages.stdlib: 9.1.0 -> 9.2.0 | Pierre Roux |
| 2026-02-05 | rocq-core_9_2: init at 9.2+rc1 | Pierre Roux |
| 2025-10-07 | coqPackages.coqutil: 0.0.6 -> 0.0.7 | Yifei Sun |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-10-17 | coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174) | StepBroBD |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |