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...
Probably here: https://github.com/coq/platform/blob/main/maintainer_scripts/create_readme.sh
thanks, maybe we include
logpath as well?
@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.
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
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.
@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