skip to content
nixbot
builds
sign in
Sign in with Gitea
Sign in with GitHub
succeeded
setup
x86_64-linux.pkgs-lean-ctx
·
build #1911
·
raw
1
these 2 derivations will be built:
2
/nix/store/3zf31qgqpyygkj84740clpqa3k29sgkp-lean-ctx-3.9.13-vendor.drv
3
/nix/store/4py5bygcjwk096a5455d3rcd4ax7vhv5-lean-ctx-3.9.13.drv