Stream: Coq Platform devs & users

Topic: opam metadata in package listing


view this post on Zulip Karl Palmskog (Aug 24 2022 at 08:33):

Is there any way we could improve the package listings using metadata from opam packages? For example, we could at least include categories like Math/Algebra. This would also provide incentive for Platform packages to actually add metadata...

view this post on Zulip Enrico Tassi (Aug 24 2022 at 08:37):

Probably here: https://github.com/coq/platform/blob/main/maintainer_scripts/create_readme.sh

view this post on Zulip Karl Palmskog (Aug 24 2022 at 08:40):

thanks, maybe we include logpath as well?

view this post on Zulip Michael Soegtrop (Aug 29 2022 at 13:04):

@Karl Palmskog : the package listing is intended more for license information for industrial users. I would add such information more to the Readme file, but if there is a good reason for having it in the .csv, we can have it there as well.

view this post on Zulip Karl Palmskog (Aug 29 2022 at 19:28):

my main concern is the README file, but I guess we can decide on a case-by-case basis whether something will go into the csv file

view this post on Zulip Théo Zimmermann (Aug 29 2022 at 19:41):

It does not hurt to make the same data available in the CSV files (if the cost is low). @Michael Soegtrop you may have one specific use case in mind, but you never know what people will make from machine-readable data when you make that available.

view this post on Zulip Michael Soegtrop (Aug 30 2022 at 06:37):

@Karl Palmskog : OK - please either create an issue or do a PR (I hope the script is reasonably straight forward).


Last updated: Jan 30 2023 at 12:03 UTC