Hi, acl2 2.9.3-2 failed to build again amd64 with the same error message. A buildd log is available at: http://amd64.ftbfs.de/fetch.php?&pkg=acl2&ver=2.9.3-2&arch=amd64&stamp=1127490149&file=log&as=raw
I suspect this is some timing related bug somewhere. Kurt -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
