Dear Camm, Since the verison of acl2 in sid has too many changes, it is unsuitable for Lenny. I tried to produce a minimal patch to backport the fix to the current, Lenny package but failed to do so. Would you like to produce such a patch, or should I request a removal of this package from Lenny, (this meaning that acl2 will not be shipped with Lenny)?
Thanks. Kumar -- Kumar Appaiah
signature.asc
Description: Digital signature
