nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-30 20:24:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 444 Branches 81 Tags
python-updates
Commit Graph

8 Commits

Author SHA1 Message Date
Pierre Roux
a162c0b8e6 rocqPackages.mathcomp: fix Coq shim selection 2026-08-18 15:39:38 +02:00
Pierre Roux
853cde0e77 rocqPackages.mathcomp: merge with coqPackages.mathcomp 
Make dependency on micromega-plugin optional for compatibility with
versions < 9.
 2026-08-18 15:39:35 +02:00
Pierre Roux
54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1 2026-07-24 09:41:27 +02:00
Pierre Roux
0de6221506 rocqPackages.mathcomp: 2.5.0 -> 2.6.0 2026-07-20 11:08:29 +02:00
Pierre Roux
30b1c85e66 rocqPackages.mathcomp-algebra: master depends on micromega-plugin 2026-05-06 11:57:10 +02:00
Pierre Roux
96af9f8acf rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group-representation 2026-05-05 14:11:16 +02:00
Pierre Roux
9ad70fb60d Rocq: Update documentation 2026-01-26 13:17:25 +01:00
Pierre Roux
a4d52834af rocqPackages.mathcomp: init at 2.5.0 2026-01-12 11:43:45 +01:00