Stream: math-comp users

Topic: ✔ Problem installing odd-order with opam


view this post on Zulip Assia Mahboubi (Oct 19 2023 at 07:08):

Many thanks! It's indeed fixed now.

view this post on Zulip Notification Bot (Oct 19 2023 at 07:08):

Assia Mahboubi has marked this topic as resolved.


Last updated: Jul 15 2024 at 19:01 UTC