New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Releasing a multinomials 1.6.0 #77

Closed

proux01 opened this issue May 10, 2023 · 1 comment

Contributor

proux01 commented May 10, 2023

@strub we would need a release of the current master branch of multinomials:

so that we have a version of multinomials compatible with the just released mathcomp 1.17.0
so that we have a release incorporating the change of logpath Ssrmultinomials -> mathcomp.multinomials (that's why I'd go for a 1.6.0 rather than 1.5.7)
it would also be a last release compatible with mathcomp 1 once we merge Port to Hierarchy Builder #42 after releasing mathcomp 2 (which we are finalizing today)

(I can take care of the OPAM and Nix packages once the github released is done)

Member

CohenCyril commented May 17, 2023

I can do it

pi8027 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment