Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: binnmu
nmu hol-light_20131026-1 . ANY . unstable . -m "Rebuild against current camlp5." nmu ledit_2.03-4 . ANY . unstable . -m "Rebuild against current camlp5." nmu utop_1.19.2-1 . ANY -amd64 -powerpc -s390x . unstable . -m "Rebuild against current liblambda-term-ocaml." nmu opam_1.2.2-5 . s390x . unstable . -m "Rebuild against current libdose3-ocaml." Looks like these have been missed after the last round of ocaml updates. Andreas
