On Monday 06 October 2008 04:01:36 Luk Claes wrote: > Please backport the fix for this bug to lenny and upload it to > testing-proposed-updates. > > If you think it's not really possible to backport the fix and it would > be better to not include acl2 in lenny, please tell me.
Camm, As Luk & Kumar have advised the release critical bug #494328 is still present in lenny, even though you have fixed it by uploading a new upstream version to sid. To fix this issue in lenny a backport of the fix needs to be included with acl2/3.1 and uploaded to testing-proposed-updates. You haven't yet responded to these requests. Are you able to prepare a backport fixed package for acl2? Mark -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
