https://github.com/gfngfn/satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi
https://github.com/gfngfn/satysfi-external-repo

ocaml opam opam-repository satysfi

Last synced: 3 months ago
JSON representation

Custom OPAM repository for external libraries of SATySFi

• Host: GitHub
• URL: https://github.com/gfngfn/satysfi-external-repo
• Owner: gfngfn
• Created: 2018-02-21T13:50:30.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2023-10-01T07:49:14.000Z (over 1 year ago)
• Last Synced: 2024-08-03T17:13:24.191Z (5 months ago)
• Topics: ocaml, opam, opam-repository, satysfi
• Size: 42 KB
• Stars: 4
• Watchers: 6
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-satysfi - satysfi-external-repo - Custom OPAM repository for external libraries of SATySFi (Uncategorized / Uncategorized)

README

        
## About

This is a custom OPAM repository for [SATySFi].

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

```sh

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://opam.ocaml.org/doc/Manual.html#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

  [SATySFi]: https://github.com/gfngfn/SATySFi