Karl Palmskog (Aug 24 2022 at 08:33): 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...
Enrico Tassi (Aug 24 2022 at 08:37):Probably here: https://github.com/coq/platform/blob/main/maintainer_scripts/create_readme.sh
Karl Palmskog (Aug 24 2022 at 08:40):thanks, maybe we include logpath as well?
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.
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
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.
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: Jun 03 2023 at 03:01 UTC