mise.toml

[tools]
# = "Docudactyl HPC — Pinned tool versions (mise)"
# = "Project toolchain targets; see the audit for actual verification scope."
# = "Upgrading any of these requires testing:"
# = "- Zig: build.zig API changes (0.14→0.15 broke addSharedLibrary)"
# = "- Idris2: ABI proof syntax may change"
# = "- OCaml: dune build compatibility"
# = "- Julia: legacy component only"
# = "Chapel is NOT managed by mise —"
# = "Required version: 2.8.0"
# = "SPDX-License-Identifier: MPL-2.0"
zig = "0.15.2"
idris2 = "0.8.0"
ocaml = "5.4.1"
julia = "1.12.5"
just = "1.46.0"