| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-03-11 | coqPackages.ssprove: 0.3.0 -> 0.3.1 | 4ever2 |
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-11-12 | coqPackages.mathcomp: 2.4.0 -> 2.5.0 | Pierre Roux |
| 2025-06-30 | coqPackages.*: fix formatting fix | Pierre Roux |
| 2025-06-30 | coqPackages.*: better formatting fix | Pierre Roux |
| 2025-06-21 | coqPackages.*: fix formatting | Pierre Roux |
| 2025-05-10 | coqPackages.ssprove: 0.2.3 -> 0.2.4 | Pierre Roux |
| 2025-05-10 | coqPackages.ssprove: fix | Cyril Cohen |
| 2025-05-10 | coqPackages.mathcomp: 2.3.0 -> 2.4.0 | Pierre Roux |
| 2025-05-05 | Refine dependencies from mathcomp-ssreflect to mathcomp-boot | Pierre Roux |
| 2025-01-08 | coqPackages.mathcomp: 2.2.0 -> 2.3.0 | Pierre Roux |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-12-04 | coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371) | Pierre Roux |
| 2024-11-28 | coqPackages.ssprove: 0.2.1 → 0.2.2 | 4ever2 |
| 2024-09-11 | coqPackages.ssprove: 0.2.0 → 0.2.1 | 4ever2 |
| 2024-05-03 | coqPackages.ssprove: init at 0.2.0 (#306981) | Sebastian Ertel |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |