Re: Suggestion for removal: acl2.

* Charles Plessy [Wed, 03 Dec 2008 22:57:54 +0900]: > Dear release team, > I would like to suggest to remove RC-bugged acl2 package from testing. Hello, Charles, a removal hint was added by Luk yesterday. Cheers, -- Adeodato Simó dato at net.com.org.es Debi

Suggestion for removal: acl2.

Dear release team, I would like to suggest to remove RC-bugged acl2 package from testing. The arguments for this are: 1) acl2 is a leaf package: aqwa『~』$ apt-cache rdepends acl2 acl2 Reverse Depends: acl2-source acl2-source acl2-infix-source acl2-infix-source acl2-infix acl2-