Package: release.debian.org Severity: normal User: [email protected] Usertags: binnmu
nmu frama-c_20161101+silicon+dfsg-5 . ANY . unstable . -m "Rebuild against ocaml-zarith 1.4.1-2" It's uninstallable at least on i386: The following packages have unmet dependencies: frama-c-base : Depends: libzarith-ocaml-fpp32 Andreas
