lean-ctx-3.12.4
checks.aarch64-darwin.pkgs-lean-ctx
· build #10922
· raw
1mac02: building 9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv