Use tags in opam file - Githubissues

matsud224 / satyrographos-package-index

https://satyrographos-packages.netlify.app/

Other

4 stars 0 forks source link

Closed matsud224 closed 4 years ago

matsud224 commented 4 years ago

Tag is useful to classify packages.

na4zagin3 commented 4 years ago

That's a nice idea! What tags should we start with?

Do we possibly need to add prefix satysfi: to some tags like, for example, satysfi:class?

matsud224 commented 4 years ago

I think tag examples mentioned above is good.

Do we possibly need to add prefix satysfi: to some tags like, for example, satysfi:class?

I think it is redundant because satyrographos-repo is independent from ocaml's repository.

matsud224 commented 4 years ago

Other opam repository's case:

In OCaml opam repository, some packages have a tag which has the 'org:' prefix. For example, aio package has 'org:mirage' and 'org:xapi-project' tag.
In Coq opam repository, some packages have a tag which has the 'category:' or 'keyword:'. See coq-aac-tactics opam file.

matsud224 commented 4 years ago

Tag support was added by commit 33bb511d.