src:frama-c
Date: 2025-10-19 05:00:01
Debian unstable (main only)
| package | summary |
|---|---|
| frama-c-base (= 20220511-manganese-5+b13) | unsatisfied dependency on libcairo2-ocaml-7q5f6 |
| 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-nw7q1 |
| 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 |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| frama-c (= 20220511-manganese-5) | conflict between gcc:$host and gcc:$build |
| frama-c (= 20220511-manganese-5) | conflict between libselinux1:$build and libselinux1:$host |