KU SLDG / opam-repo

This is an opam repository for packages created and maintained by KU-SLDG.

Primary Maintainer: Durbatuluk1701

Please feel free to reach out for help installing or getting a package added to this repo.

Installation

Run the following:

opam repo add -a --set-default ku-sldg/opam-repo https://github.com/ku-sldg/opam-repo.git

Then you will be able to install packages that are hosted within this repo.