Skip to content
This repository has been archived by the owner on Jul 25, 2024. It is now read-only.

Distributed Components Coq development package repository for OPAM

Notifications You must be signed in to change notification settings

DistributedComponents/opam-repository-coq-dev

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Distributed Components OPAM Coq development repository

All Distributed Components Coq development OPAM packages live here.

Repository

To activate the repository: opam repo add distributedcomponents-coq-dev http://opam-coq-dev.distributedcomponents.net

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

Distributed Components Coq development package repository for OPAM

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published