Bug#612892: RM: matita/0.5.8-2+b1
Package: release.debian.org
Severity: normal
User: release.debian.org@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
Reply to: