mopsa

1.1BlockedDependencies →

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.nix

Blocking dependencies

ocaml-5.3.0

Compilation or linking failed

Failure log · · This campaign

ppl-1.2

Compilation or linking failed

Failure log · · This campaign

Via ocaml5.3.0-apron-0.9.15

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

llvm-19.1.7

Compilation or linking failed

Failure log · · This campaign

Via clang-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