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: Dec 06 2023 at 14:01 UTC