src:frama-c
Date: 2025-09-06 05:00:01
Debian unstable (main only)
| package | summary |
|---|---|
| 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)
| package | summary |
|---|---|
| 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 |