framac

30.0BlockedDependencies →

Extensible and collaborative platform dedicated to source-code analysis of C software

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/by-name/fr/framac/package.nix

Blocking dependencies

ppl-1.2

Compilation or linking failed

Failure log · · This campaign

Via ocaml5.2.1-apron-0.9.15

hevea-2.36

Compilation or linking failed

Failure log · · This campaign

Via why3-1.7.2

ocaml-4.14.2

Compilation or linking failed

Failure log · · This campaign

Via coq-9.0.0

catch2-3.8.1

Compilation or linking failed

Failure log · · This campaign

Via doxygen-1.13.2 → spdlog-1.15.2

fmt-10.2.1

Compilation or linking failed

Failure log · · This campaign

Via doxygen-1.13.2 → spdlog-1.15.2

vala-0.56.18

Compilation or linking failed

Failure log · · This campaign

Via wrap-gapps-hook → librsvg-2.60.0

rustc-1.86.0

Compilation or linking failed

Failure log · · This campaign

Via wrap-gapps-hook → librsvg-2.60.0 → rustc-wrapper-1.86.0

x86_64-unknown-linux-gnufilc0-gfortran-14.3.0

Compilation or linking failed

Failure log · · This campaign

Via ocaml5.2.1-apron-0.9.15 → flint3-3.2.1 → openblas-0.3.29 → x86_64-unknown-linux-gnufilc0-gfortran-wrapper-14.3.0

ocaml-5.3.0

Compilation or linking failed

Failure log · · This campaign

Via ocaml5.2.1-ppx_deriving_yaml-0.3.0 → ocaml5.2.1-yaml-3.2.0 → ocaml5.2.1-logs-0.8.0 → opaline-0.3.3 → ocaml5.3.0-opam-file-format-2.1.6