Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: binnmu User: release.debian....@packages.debian.org Usertags: binnmu
Hello, Please rebuild the following packages with camlp5 5.14: nmu 2 coq_8.2.pl1+dfsg-6 . ALL . -m "Rebuild with camlp5 5.14" dw coq_8.2.pl1+dfsg-6 . ALL . -m "camlp5 (>= 5.14-1)" nmu ssreflect_1.2+dfsg-4 . ALL . -m "Rebuild with camlp5 5.14" dw ssreflect_1.2+dfsg-4 . ALL . -m "camlp5 (>= 5.14-1), libcoq-ocaml-dev (>= 8.2.pl1+dfsg-6+b2)" nmu ledit_2.01-6 . ALL . -m "Rebuild with camlp5 5.14" dw ledit_2.01-6 . ALL . -m "camlp5 (>= 5.14-1)" nmu ulex0.8_0.8-9 . ALL . -m "Rebuild with camlp5 5.14" dw ulex0.8_0.8-9 . ALL . -m "camlp5 (>= 5.14-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 -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100502154758.27137.15410.report...@korell.up7.fr