nixbot

builds

succeeded `checks.aarch64-linux.pkgs-lean-ctx` build #4008 · raw · ‹ #4007 · #4009 ›

Succeeded (2)

2 built

setup built · 0.0s · open ↗ · raw ↗

lean-ctx-3.9.20 built · 2415.4s · open ↗ · raw ↗