Package: release.debian.org Severity: normal User: [email protected] 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
