nixos/nixpkgs.git/pkgs/development/coq-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












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












coqPackages.mathcomp: 2.4.0 -> 2.5.0
2025-11-12T16:43:56+00:00

Pierre Roux
pierre.roux@onera.fr

2025-10-14T06:27:10+00:00

65fb0bd61387f5e96b211825f031060e3b614e2d












treewide: run nixfmt 1.0.0
2025-07-24T11:55:40+00:00

Wolfgang Walther
walther@technowledgy.de

2025-07-22T13:19:36+00:00

5a0711127cd8b916c3d3128f473388c8c79df0da












coqPackages.*: 9.0 -> 9.1
2025-07-09T05:27:19+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-08T11:52:31+00:00

6bb4f60316f63f10779a512bdfa7cacd7893a239












coqPackages.*: better formatting fix
2025-06-30T08:10:31+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-29T14:35:20+00:00

19e4869241080cea1a831a05c0298b61de944695












coqPackages.*: fix formatting
2025-06-21T15:23:27+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-19T10:29:43+00:00

0ddb075c4db5d065e42867f45247b3a0091c486e












coqPackages.mathcomp: 2.3.0 -> 2.4.0
2025-05-10T10:06:21+00:00

Pierre Roux
pierre.roux@onera.fr

2025-04-15T12:15:34+00:00

42dba13fa6c671929accc32041c9299f2bf6d8ff












coqPackages.mathcomp-boot: init at master (future 2.5.0)
2025-05-05T13:16:10+00:00

Pierre Roux
pierre.roux@onera.fr

2025-04-30T14:38:57+00:00

0401f9a22affbebeacaf9a37321569a7b44da542