Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
https://github.com/na4zagin3/satyrographos-repo
opam-repository satysfi
Last synced: 5 days ago
JSON representation
Custom OPAM repository for SATySFi libraries managed by Satyrographos
- Host: GitHub
- URL: https://github.com/na4zagin3/satyrographos-repo
- Owner: na4zagin3
- License: cc0-1.0
- Created: 2018-10-30T17:14:18.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2024-08-15T15:59:06.000Z (3 months ago)
- Last Synced: 2024-08-16T17:25:24.874Z (3 months ago)
- Topics: opam-repository, satysfi
- Language: Shell
- Size: 1.17 MB
- Stars: 18
- Watchers: 5
- Forks: 17
- Open Issues: 35
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-satysfi - satyrographos-repo - Custom OPAM repository for SATySFi libraries managed by Satyrographos (Uncategorized / Uncategorized)
README
# Satyrographos Repo
[](https://github.com/na4zagin3/satyrographos-repo/actions?query=workflow%3ACI)
*We also have a web interface, [Satyrographos Package Index](https://satyrographos-packages.netlify.app/) (thanks to @matsud224).*
This is a custom OPAM repository for [Satyrographos], a package manager for [SATySFi].
You can add this repository into your OPAM by running the following command.
```sh
# This repository depends on containts in satysfi-external repo
opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git
opam repository add satyrographos https://github.com/na4zagin3/satyrographos-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.
To submit a PR for your project in GitHub, run the following command in your repository.
```sh
git tag -a # For example, git tag -a v0.1
git push origin
opam publish --repo=na4zagin3/satyrographos-repo
```
Maintainers may ask contributors to update files for automation tests.
## For development versions
We have `satyrographos-repo-alpha` repository which has development versions, especially the next versions of SATySFi and those depends on them.
See https://github.com/na4zagin3/satyrographos-repo-alpha/tree/main#readme for more details.
## License
All the metadata contained in this repository are licensed under the [CC0 1.0 Universal license](https://creativecommons.org/publicdomain/zero/1.0/) or any later version (i.e., `CC0-1.0+` license in [SPDX License Identifier](https://spdx.org/licenses/)).
### Reference
* ["Repository format"](https://opam.ocaml.org/doc/Manual.html#Repository-format)
* "Managing Repositories" of ["OPAM: A Package Management System for OCaml Developer Manual (version 1.2.1)"](http://opam.ocaml.org/doc/manual/dev-manual.html)
* 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
[Satyrographos]: https://github.com/na4zagin3/satyrographos