Skip to content

Latest commit

 

History

History
23 lines (13 loc) · 648 Bytes

README.md

File metadata and controls

23 lines (13 loc) · 648 Bytes
Raw

UniMath experimental OPAM Repository

All experimental UniMath OPAM packages live here.

Repository

To activate the repository:

opam repo add unimath https://unimath.github.io/opam-repository

OPAM metadata

We use the tags field of the opam file as follows:

  1. strings beginning with keyword: are considered as keywords
  2. strings beginning with category: are considered as categories

Example:

tags: [ "keyword:cool" "keyword:stuff" "category:Some/Category" ]

Finally the homepage:, author:, maintainer: and doc: fields are also used to generate the package entry.