src:why3
Date: 2024-05-04 05:00:03
Debian testing (main only)
| package | summary |
|---|---|
| why3 (= 1.6.0-1+b5) | conflict between libpng16-16t64 and libpng16-16 |
| why3 (= 1.6.0-1+b5) | conflict between libpng16-16t64 and libpng16-16 |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| why3 (= 1.6.0-1) | conflict between libxt6t64 and libxt6 |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| why3 (= 1.6.0-1) | conflict between gcc:$host and gcc:$build |