skip to content
Succeeded (15)
15 built
setup
built · 2745.8s
· open ↗
· raw ↗
setupHook.sh
built
ocaml4.14.0-camlidl-1.11
built · 8.5s
· open ↗
· raw ↗
ppl-1.2
built · 474.3s
· open ↗
· raw ↗
ocaml4.14.0-bigarray-compat-1.1.0
built · 3.2s
· open ↗
· raw ↗
python3-3.10.9-env
built · 17.6s
· open ↗
· raw ↗
llvm-9.0.1
built · 1355.6s
· open ↗
· raw ↗
ocaml4.14.0-mlgmpidl-1.2.15
built · 29.4s
· open ↗
· raw ↗
ocaml4.14.0-apron-0.9.13
built · 840.3s
· open ↗
· raw ↗
clang-6-10-LLVMgold-path.patch
built
compiler-rt-libc-9.0.1
built · 46.1s
· open ↗
· raw ↗
clang-9.0.1
built · 922.3s
· open ↗
· raw ↗
clang-wrapper-9.0.1
built · 1.1s
· open ↗
· raw ↗
stdenv-linux
built
ikos-3.0
built · 458.2s
· open ↗
· raw ↗