coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

coqPackages.mathcomp: 2.4.0 -> 2.5.0

Open proux01 opened this issue 1 month ago • 1 comments

Testing https://github.com/NixOS/nixpkgs/pull/451885

proux01 avatar Oct 14 '25 06:10 proux01

So mathcomp 2.5.0 is waiting for the following releases (master branches work so it should just be a matter of releasing):

  • mczify (Cc @pi8027 )
  • analysis (Cc @affeldt-aist )

proux01 avatar Oct 14 '25 10:10 proux01

Almost there, we are down to infotheo (Cc @affeldt-aist ) and ssprove (Cc @4ever2 ). Since both are in mathcomp's CI, it should essentially be a matter of hitting the release button on github.

proux01 avatar Nov 10 '25 22:11 proux01

SSProve 0.3.0 release is available now, it should be compatible with MC 2.5.0.

4ever2 avatar Nov 12 '25 08:11 4ever2

Thanks, seems to work like a charm. Now down to infotheo only.

proux01 avatar Nov 12 '25 10:11 proux01