nixos/nixpkgs.git/pkgs/development/rocq-modules/mathcomp, branch master Nix Packages collection rocqPackages.mathcomp-algebra: master depends on micromega-plugin 2026-05-06T09:57:10+00:00 Pierre Roux pierre.roux@onera.fr 2025-10-17T12:29:00+00:00 30b1c85e6672d8de16abd8779bd4c1b41271cf6d 






rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group-representation
2026-05-05T12:11:16+00:00

Pierre Roux
pierre.roux@onera.fr

2026-04-21T06:28:20+00:00

96af9f8acf9c0efede30e85a4706db1082f4e9ba












Rocq: Update documentation
2026-01-26T12:17:25+00:00

Pierre Roux
pierre.roux@onera.fr

2026-01-16T09:42:36+00:00

9ad70fb60d06c74be149bdb838a2993e1305e7ef












rocqPackages.mathcomp: init at 2.5.0
2026-01-12T10:43:45+00:00

Pierre Roux
pierre.roux@onera.fr

2026-01-12T08:59:40+00:00

a4d52834afa95f4003c7a825dcbee4ed8abc5c11