Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

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.

About

This repository makes it easy to build and install UniMath using opam.

Resources

Releases

No releases published

Packages

No packages published