nixbot

builds

succeeded `x86_64-linux.pkgs-lean-ctx` build #1397 · raw · ‹ #1396 · #1398 ›

Succeeded (2)

2 built

setup built · 0.0s · open ↗ · raw ↗

lean-ctx-3.9.12 built · 1224.0s · open ↗ · raw ↗