https://github.com/na4zagin3/satyrographos-repo-alpha
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
https://github.com/na4zagin3/satyrographos-repo-alpha
Last synced: 5 months ago
JSON representation
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
- Host: GitHub
- URL: https://github.com/na4zagin3/satyrographos-repo-alpha
- Owner: na4zagin3
- License: cc0-1.0
- Created: 2022-05-22T11:44:46.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2024-12-15T14:36:58.000Z (5 months ago)
- Last Synced: 2024-12-15T15:18:25.814Z (5 months ago)
- Language: Shell
- Size: 53.7 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Satyrographos Repo Alpha
Custom OPAM repository for [SATySFi] libraries compatible with the next major version of [SATySFi].
The main repository is at https://github.com/na4zagin3/satyrographos-repo
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
opam repository add satyrographos-alpha https://github.com/na4zagin3/satyrographos-repo-alpha.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-alpha
```
Maintainers may ask contributors to update files for automation tests.
## 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