Greetings! I've unfortunately missed the deadline for lenny with
acl2. As you may recall, you found a ftbfs error with 3.3, which I
addressed by uploading a 3.4, and which in turn was deemed too big a
change for lenny. I've since been unable to reproduce the original
build failure using the orig
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 & Kuma
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:
4 matches
Mail list logo
