opam - soteria

Authors	Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk> and Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>
License	Apache-2.0
Published	Jul 3, 2026
Homepage	https://github.com/soteria-tools/soteria
Issue Tracker	https://github.com/soteria-tools/soteria/issues
Maintainers	Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk> and Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>
Dependencies	ocaml>=5.5.0 tsort>=2.1.0 iter patricia-tree cmdliner>=2.0.0 ppx_expect>=0.17.0 ppx_blob>=0.9.0 ppx_subliner>=0.2.1 ppx_deriving ppx_deriving_hash fmt printbox-text htmlit progress>=0.5.0 grace>=0.3.0 zarith odocwith-doc mdxwith-test alcotestwith-test qcheck-corewith-test qcheck-alcotestwith-test dune>=3.23 ppxlib>=0.38.0 ppx_mixins>=0.2.0 hc>=0.5 yojson<3.0 unionFind>=20220109 ppx_deriving_yojson ocamlformatwith-dev-setup & =0.29.0 ocaml-lsp-serverwith-dev-setup
Source [http]	https://github.com/soteria-tools/soteria/archive/refs/tags/v0.1.0.tar.gz md5=8f15271b81e34caa12a39e3b7a63313a sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/soteria/soteria.0.1.0/opam

No package is dependent

soteriaversion 0.1.0 (latest) 0.1.0 (latest)Documentation on ocaml.org