checks.aarch64-darwin.pkgs-hol-guard
build #5601
· raw
· eval 993 ms · 1.2 MiB allocated
· ‹ #5600
· #5602 ›
Succeeded (4)
4 built
setup
hol_guard-3.5.0.tar.gz
hol-guard-3.5.0
check-hol-guard
no output