Stream: Coq Platform devs & users

Topic: Latest coq platform package table


view this post on Zulip Julien Puydt (Jul 24 2022 at 12:20):

In my comparison document with Debian, I use this versioned link to compare to Debian unstable ; but it means I have to update it when a new version is available. Would it be possible to provide a PackageTable-latest.csv linking to the actual latest version, so I could always compare to that?

view this post on Zulip Karl Palmskog (Jul 24 2022 at 12:22):

how is "latest" defined here? Latest in terms of Coq Platform releases, or stuff that is in the Coq Platform repo (or the Coq opam repo)?

view this post on Zulip Karl Palmskog (Jul 24 2022 at 12:25):

in my view, what happens is basically that releases of packages are constantly streaming into the Coq opam archive, and then there is a curation process of picking package versions that end up in a Platform release. This curation process is not always incremental/atomic, e.g., a bunch of package versions could be added at some instant, removed/replaced the next, and everything only stabilizes definitively with the Platform release.

view this post on Zulip Karl Palmskog (Jul 24 2022 at 12:27):

(in practice, some releases may not even reach the Coq opam archive until later, they might only exist as Git repo tags)

view this post on Zulip Julien Puydt (Jul 24 2022 at 14:08):

Well, I'm just using the file to compare how far from the "Coq platform" I am in my Debian packaging work

view this post on Zulip Karl Palmskog (Jul 24 2022 at 14:29):

sure, I understand the motivation, but what I'm saying is that the Coq Platform "actual latest version" of packages is seemingly not defined, except for by the latest Platform release

view this post on Zulip Julien Puydt (Jul 24 2022 at 15:11):

Well, then would it be possible to let -latest point to that Platform release?

view this post on Zulip Karl Palmskog (Jul 24 2022 at 15:16):

what might make sense is to have a symlink like PackageTable~recommended.csv which points to the package table for the recommeded Coq version of a Platform release (e.g., to PackageTable~8.15~2022.04.csv for the latest release)

view this post on Zulip Karl Palmskog (Jul 24 2022 at 15:18):

this would be consistent with how package tables are described in the notes for the latest release

view this post on Zulip Karl Palmskog (Jul 24 2022 at 15:20):

until a symlink is added, one can at least use the following "algorithm" for finding the "latest" package list:

view this post on Zulip Julien Puydt (Jul 25 2022 at 10:03):

Well, I'm using a script to update that page ; a script doesn't load a page and read it...

view this post on Zulip Michael Soegtrop (Jul 28 2022 at 12:23):

@Julien Puydt : all the package lists are names by specific Coq Platform versions, and adding a latest would be confusing IMHO, but for sure I can add an additional file "metainfo" which contains whatever meta information you need.

view this post on Zulip Michael Soegtrop (Jul 28 2022 at 12:23):

E.g. there is always a "recommended" pick, and I an state in the metainfo file which pick is the recommended pick.

view this post on Zulip Karl Palmskog (Jul 28 2022 at 12:26):

@Michael Soegtrop I think what Julien is looking for is a predictable file name for the "recommended" package list

view this post on Zulip Karl Palmskog (Jul 28 2022 at 12:27):

so my suggestion is that you could add a symlink in the repo in a release, for the latest release you could have the following symlink:

PackageTable~recommended.csv -> PackageTable~8.15~2022.04.csv

view this post on Zulip Michael Soegtrop (Jul 28 2022 at 12:27):

I got that, but I don't want to do this.

view this post on Zulip Karl Palmskog (Jul 28 2022 at 12:27):

the problem with just having it in the README is that there is no way to programmatically find it without parsing text

view this post on Zulip Michael Soegtrop (Jul 28 2022 at 12:29):

That's why I suggested to have a metainfo file, which provides such information in a wax convenient to shell and python.

view this post on Zulip Michael Soegtrop (Jul 28 2022 at 12:29):

One can of course encode such metainformation in symlinks as well, but I find it not so obvious.

view this post on Zulip Karl Palmskog (Jul 28 2022 at 12:30):

OK, I guess as that's fine as long as these metainfo files can be read in a predictable way


Last updated: Jan 30 2023 at 12:03 UTC