[Bug 506567] Review Request: acl2 - Automated reasoning system based on Common Lisp
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=506567 Jason Tibbitts ti...@math.uh.edu changed: What|Removed |Added Status|NEW |CLOSED Blocks|505154(FE-SCITECH) |201449(FE-DEADREVIEW) Resolution||NOTABUG Status Whiteboard|StalledSubmitter| Last Closed||2010-12-17 12:50:15 -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 506567] Review Request: acl2 - Automated reasoning system based on Common Lisp
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=506567 Jason Tibbitts ti...@math.uh.edu changed: What|Removed |Added Status Whiteboard||StalledSubmitter --- Comment #2 from Jason Tibbitts ti...@math.uh.edu 2010-11-15 11:12:37 EST --- Could you acknowledge that you still wish to submit this? Sorry if my previous message did not look sufficiently like a ping. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 506567] Review Request: acl2 - Automated reasoning system based on Common Lisp
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=506567 Jason Tibbitts ti...@math.uh.edu changed: What|Removed |Added Blocks||505154(FE-SCITECH) --- Comment #1 from Jason Tibbitts ti...@math.uh.edu 2010-11-03 10:41:57 EDT --- I tried building this, but even on a fast machine I gave up before it finished. How long is it supposed to take, anyway? Adding the blocker for the SciTech sig so hopefully more folks will notice. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review