Stream: math-comp devs

Topic: remove deprecated


view this post on Zulip Laurent Théry (Jun 07 2021 at 11:21):

I have remove some deprecated, now odd-order does not compile anymore. What should I do? Just do a PR that fixs ood order?

view this post on Zulip Cyril Cohen (Jun 07 2021 at 11:22):

I think odd-order has never been properly updated to mathcomp 1.12

view this post on Zulip Cyril Cohen (Jun 07 2021 at 11:23):

I think a global cleanup PR to adjust to mathcomp 1.12 is in order, + a new release

view this post on Zulip Laurent Théry (Jun 07 2021 at 11:24):

Ok I will first to do PR to update mathcomp to 1.12. Then I will do the 1.13 stuff

view this post on Zulip Laurent Théry (Jun 07 2021 at 13:41):

ok just did the PR

view this post on Zulip Laurent Théry (Jun 07 2021 at 13:43):

#30

view this post on Zulip Laurent Théry (Jun 07 2021 at 15:23):

ok did the duplicate clear too

view this post on Zulip Laurent Théry (Jun 07 2021 at 15:58):

ok did all I could do on odd-order, hope this helps

view this post on Zulip Cyril Cohen (Jun 07 2021 at 17:14):

I'm trying to repare various CIs...

view this post on Zulip Cyril Cohen (Jun 07 2021 at 17:16):

Could you rebase your PRs on top of master to make the CIs run ?


Last updated: Aug 11 2022 at 01:03 UTC