Bug#577242: nmu: coq_8.2.pl1+dfsg-6, ssreflect_1.2+dfsg-4, ledit_2.01-6

[Stéphane Glondu <glondu@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: binnmu
User: release.debian.org@packages.debian.org
Usertags: binnmu

Hello,

nmu 1 coq_8.2.pl1+dfsg-6 . ALL . -m "Rebuild with camlp5 5.13"
dw coq_8.2.pl1+dfsg-6 . ALL . -m "camlp5 (>= 5.13-1)"
nmu ssreflect_1.2+dfsg-4 . ALL . -m "Rebuild with camlp5 5.13"
dw ssreflect_1.2+dfsg-4 . ALL . -m "camlp5 (>= 5.13-1), libcoq-ocaml-dev (>= 8.2.pl1+dfsg-6+b1)"
nmu ledit_2.01-6 . ALL . -m "Rebuild with camlp5 5.13"
dw ledit_2.01-6 . ALL . -m "camlp5 (>= 5.13-1)"

Thanks in advance,

-- 
Stéphane

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash