Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: rm
Hello, With approval of its maintainer, and for the reasons explained in [1], I request the removal of matita from testing. [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612891 Cheers, -- Stéphane -- System Information: Debian Release: 6.0 APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (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/20110211113134.2511.87908.report...@aspirine.inria.fr
