opam - soteria.0.2.3

Authors	Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk> and Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>
License	Apache-2.0
Published	Aug 9, 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 cmdliner>=2.0.0 ppx_expect>=v0.17.0 ppx_blob>=0.9.0 ppx_subliner>=0.2.1 ppx_deriving ppx_deriving_hash fmt printbox printbox-text htmlit progress>=0.5.0 grace=0.3.0 zarith>=1.13 odocwith-doc mdxwith-test alcotestwith-test qcheck-corewith-test qcheck-alcotestwith-test menhirwith-test & >=20230415 dune>=3.23 ppxlib>=0.38.0 ppx_mixins>=0.2.0 hc>=0.5 yojson<3.0 unionFind>=20220109 ppx_deriving_yojson ocamlformat(with-test \| with-dev-setup) & =0.29.0 ocaml-lsp-serverwith-dev-setup
Source [http]	https://github.com/soteria-tools/soteria/archive/refs/tags/v0.2.3.tar.gz md5=22e0fc3f97555ac35b96fae10817a887 sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/soteria/soteria.0.2.3/opam

No package is dependent

soteriaversion 0.2.3 (latest) 0.1.00.2.3 (latest)Documentation on ocaml.org