Bug#578346: transition: camlp5

Stéphane Glondu a écrit : > The following packages need to go to testing together: > [...] Sorry, I made a mistake while generating the above line. The correct hint is: > easy camlp5/5.13-1 coq/amd64/8.2.pl1+dfsg-6 coq/armel/8.2.pl1+dfsg-6 > coq/hppa/8.2.pl1+dfsg-6 coq/i386/8.2.pl1+dfsg-6 coq/ia

Bug#578346: transition: camlp5

Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition User: release.debian@packages.debian.org Usertags: transition Hello, The following packages need to go to testing together: easy camlp5/5.13-1 coq/8.2.pl1+dfsg-6/amd64/8.2.pl1+dfsg-