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