Some interesting (incomplete) statistics on how many opam packages in
released currently work with a Coq version:
as per Sacerdoti Coen when he did his XML export, 8.9.0 had about 70 packages supporting it near release.
we have unfortunately "lost" a few big projects like GeoCoq and Relation Algebra for 8.12 (no tags/releases yet), which probably affects numbers. Maybe 8.12 catches up to 8.8 in time for 8.15?
Last updated: Feb 05 2023 at 14:02 UTC