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.gitThis 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