[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#859803: nmu: why3_0.87.3-2



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


Reply to: