Stream: math-comp devs

Topic: Abel package for 8.16


view this post on Zulip Karl Palmskog (Oct 24 2022 at 07:59):

Please go ahead and merge this if it looks good, it's the Abel package for 8.16: https://github.com/coq/opam-coq-archive/pull/2361


Last updated: Jan 29 2023 at 15:02 UTC