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