src:frama-c

Date: 2025-09-06 05:00:01

Debian unstable (main only)

packagesummary
frama-c-base (= 20220511-manganese-5+b13)unsatisfied dependency on libcairo2-ocaml-c05k5
frama-c-base (= 20220511-manganese-5+b14)unsatisfied dependency on libcairo2-ocaml-7q5f6
frama-c-base (= 20220511-manganese-5+b13)unsatisfied dependency on libcairo2-ocaml-nw7q1
frama-c-base (= 20220511-manganese-5+b12)unsatisfied dependency on libcairo2-ocaml-c05k5
frama-c-base (= 20220511-manganese-5+b13)unsatisfied dependency on libcairo2-ocaml-7q5f6

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
frama-c (= 20220511-manganese-5)conflict between libsystemd0:$build and libsystemd0:$host; conflict between libudev1:$build and libudev1:$host
frama-c (= 20220511-manganese-5)conflict between gcc:$host and gcc:$build