Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu why3_0.87.3-2 . ANY . unstable . -m "Rebuild against ocaml-zarith 1.4.1-2" trying: ocaml-zarith skipped: ocaml-zarith (0, 1, 16) got: 35+0: a-3:i-27:a-0:a-0:a-0:m-0:m-4:m-0:p-0:s-1 * i386: frama-c, frama-c-base, libwhy3-ocaml-dev Andreas