Stream: coq-community devs & users

Topic: Coq version project attrition

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:

• 8.8.2: 431 packages (highest)
• 8.9.1: 351 packages
• 8.10.2: 346 packages
• 8.11.2: 225 packages
• 8.12.0: 117 packages

as per Sacerdoti Coen when he did his XML export, 8.9.0 had about 70 packages supporting it near release.

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: Jun 03 2023 at 18:01 UTC