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
Hi
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.
Cheers
Luk
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
my test results
lenny's version in lenny: (though I got a different error: FATAL ERROR:
ACL2 does not yet support GCL ANSI. Please use a non-ANSI GCL.
sid's version in lenny: FTBFS with Compile FAILED: file acl2-status.txt
is missing.
lenny's version in sid: FTBFS with Initialization FAILED:
3 matches
Mail list logo