coq 8.13 support about math-classes HOT 9 CLOSED

thanks. yes I can prepare and submit OPAM package update.

from math-classes.

coq/opam#1722

from math-classes.

I quickly tried to compile /master/ branch with 8.13 and it emits a lot of warnings (mostly about hints) but compiles OK.

from math-classes.

Should work already. Maybe opam update ?

"coq" {(>= "8.11" & < "8.14~") | (= "dev")}
https://github.com/coq-community/math-classes/blob/master/coq-math-classes.opam

from math-classes.

No @spitters, the problem is that the latest release is 8.12.0, which is not marked as compatible: https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-math-classes/coq-math-classes.8.12.0/opam
Only the master branch is.
We should:

• do a release of math-classes here on GitHub;
• submit a PR to https://github.com/coq/opam-coq-archive adding the new version.

from math-classes.

Thanks @Zimmi48 . You can probably do that with your eyes closed.
Could you do it? I'd need to look up the precise steps.

from math-classes.

Sure, I will take care of it.

from math-classes.

Anything I can help with? I am stuck as my project dependency now requires 8.13 while I am also using math-classes.

from math-classes.

Sorry about the delay @vzaliva. I released a new 8.13.0 version (https://github.com/coq-community/math-classes/releases/tag/8.13.0). Are you used to opam packaging? If yes, then you should be able to create the PR updating the opam-coq-archive yourself.

from math-classes.