gfngfn/satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

About

This is a custom OPAM repository for SATySFi.

You can add this repository into your OPAM by running the following command.

opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git

Contributing

We welcome contributions! If you notice a problem of packaging, then send a PR or write an issue here. If it's a problem of the content of package itself, then refer to its repository.

Reference

• "Repositories"
• https://github.com/ocaml/opam-repository
• Some other OPAM repos
  • https://github.com/ocamllabs/advanced-fp-repo
  • https://github.com/coq/opam-coq-archive