| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-05-06 | rocqPackages.mathcomp-algebra: master depends on micromega-plugin | Pierre Roux |
| 2026-05-05 | rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group... | Pierre Roux |
| 2026-01-26 | Rocq: Update documentation | Pierre Roux |
| 2026-01-12 | rocqPackages.mathcomp: init at 2.5.0 | Pierre Roux |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |