A Modular and Open Platform for Static Analysis using Abstract Interpretation
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/development/ocaml-modules/mopsa/default.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7
compiler-rt-libc-19.1.7
Configuration failed
Failure log · · This campaign
Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7
x86_64-unknown-linux-gnufilc0-gfortran-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via flint3-3.2.1 → openblas-0.3.29 → x86_64-unknown-linux-gnufilc0-gfortran-wrapper-14.3.0
Direct dependencies
bash-5.2p37clang-19.1.7dune-3.18.2flint3-3.2.1llvm-19.1.7mpfr-4.2.2ocaml-5.3.0ocaml5.3.0-apron-0.9.15ocaml5.3.0-arg-complete-0.2.1ocaml5.3.0-camlidl-1.12ocaml5.3.0-findlib-1.9.8ocaml5.3.0-menhir-20240715ocaml5.3.0-yojson-2.2.2ocaml5.3.0-zarith-1.14pplite-0.12sourcestdenv-linuxx86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7Selected dependents
None recorded.