skip to content
1these 3 derivations will be built:2 /nix/store/gm6aj69fj5yqqjk7nq031c4mikm5k62b-hol_guard-3.4.2.tar.gz.drv3 /nix/store/xd9mpffzbvg0vf28vj5zybr9n4fm474c-hol-guard-3.4.2.drv4 /nix/store/6ii9h829fj5bcrrbw9znzw843izg4b7g-check-hol-guard.drv