@Karl Palmskog : can you please have a look at (https://github.com/coq/platform/tree/main/opam/opam-coq-archive), especially extra-dev and tell me what you want to have upstream from this and if I should update the corresponding released packages of the flex packages or ask the authors (a ~flex package is identical to the one without ~flex except that version restrictions are removed from opam and possible make/configure).
Please note that there are some updates in PR (https://github.com/coq/platform/pull/148).
Yes, absolutely. When you discover that a package version constraints can be relaxed, please do submit the relaxing to the opam repository.
@Michael Soegtrop it's a ton of work to compare every package, so I will try to give the general rules of thumb:
released
or extra-dev
released
, even if they have more relaxed requirements than just that released Coq versionExample: coq-deriving.0.1.0~flex should be submitted to the archive as a modification of the coq-deriving.0.1.0 package in released
, and definitely not live in extra-dev
if possible, please submit "staggered" pull requests that contain at most 3 packages each. This will speed up the reviewing and merging process a lot.
Last updated: Sep 25 2023 at 14:01 UTC