This repository is a package repository for the opam package manager.
It contains the development version of all pinc packages. To use it, type:
opam repo add pinc https://github.com/pinc-official/opam-repository.git-
Notifications
You must be signed in to change notification settings - Fork 0
pinc-official/opam-repository
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Opam repository for the development version of pinc packages
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published