Stream: math-comp devs

Topic: Multinomials 2.2.0


view this post on Zulip Kazuhiko Sakaguchi (Jan 18 2024 at 14:14):

Since the latest release 2.1.0 is not compatible with MathComp 2.2.0, I will release Multinomials 2.2.0 today. Here is the draft (maybe not visible to everyone): https://github.com/math-comp/multinomials/releases/tag/untagged-d0540df7813041be4314

view this post on Zulip Kazuhiko Sakaguchi (Jan 18 2024 at 14:34):

Done.

view this post on Zulip Pierre Roux (Jan 18 2024 at 14:41):

Thanks, that should enable me to release coqeal

view this post on Zulip Kazuhiko Sakaguchi (Jan 18 2024 at 14:49):

@Pierre Roux Yes, can you also fix the dependencies of CoqEAL 2.0.0? I cannot build it in my opam switch coq.8.18+mathcomp.2.1 but I haven't identified what to fix.

view this post on Zulip Pierre Roux (Jan 18 2024 at 14:50):

Yes, Coqeal 2.0.0 is incompatible with HB 1.7, I have to fix that.


Last updated: Jul 23 2024 at 21:01 UTC