checks.aarch64-darwin.pkgs-hol-guard
build #5656
· raw
· eval 174 ms · 90.7 KiB allocated
· ‹ #5655
· #5657 ›
Succeeded (4)
4 built
setup
hol_guard-3.6.0.tar.gz
hol-guard-3.6.0
check-hol-guard
no output