Something went wrong. Try again.
READ-ONLY MIRROR of the previous soteria repo
Something went wrong. Try again.
1234567891011{ "_comment": "Central version configuration for Soteria. Run `scripts/versionsync.py check` to verify versions are in sync, or `scripts/versionsync.py update` to update versions everywhere.", "CHARON_REPO": "soteria-tools/charon", "CHARON_COMMIT_HASH": "1ec8d4bb0116abf4486bac234ac01acf84e2a83a", "OBOL_REPO": "soteria-tools/obol", "OBOL_COMMIT_HASH": "70610866c606acc9b4c3a460ac586d81459d1304", "OCAMLFORMAT_VERSION": "0.28.1", "OCAML_VERSION": "5.4.0", "DUNE_VERSION": "3.23.0"}