Opam packages for projects developed at the Programming Systems Lab at Saarland University.
To add the repo, type opam repo add psl-opam https://github.com/uds-psl/psl-opam-repository.git.
Opam packages for projects developed at the Programming Systems Lab at Saarland University.
To add the repo, type opam repo add psl-opam https://github.com/uds-psl/psl-opam-repository.git.