checks.aarch64-darwin.pkgs-hol-guard
build #5709
· raw
· eval 976 ms · 39.4 MiB allocated
· ‹ #5708
· #5710 ›
Succeeded (4)
4 built
setup
hol_guard-3.6.1.tar.gz
hol-guard-3.6.1
check-hol-guard
no output