Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: binnmu User: release.debian....@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 -- 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/20100410174704.30671.73309.report...@korell.glondu.net
