checks.aarch64-darwin.pkgs-hol-guard
build #5507
· raw
· eval 485 ms · 13.1 MiB allocated
· ‹ #5506
· #5508 ›
Succeeded (4)
4 built
setup
hol_guard-3.4.3.tar.gz
hol-guard-3.4.3
check-hol-guard
no output