Stream: coq-community devs & users

Topic: Coq version project attrition


view this post on Zulip Karl Palmskog (Oct 11 2020 at 19:32):

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.

view this post on Zulip Karl Palmskog (Oct 11 2020 at 19:35):

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