Bug 506567
Summary: | Review Request: acl2 - Automated reasoning system based on Common Lisp | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Alan Dunn <amdunn> |
Component: | Package Review | Assignee: | Nobody's working on this, feel free to take it <nobody> |
Status: | CLOSED NOTABUG | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | medium | Docs Contact: | |
Priority: | medium | ||
Version: | rawhide | CC: | fedora-package-review, grue, notting |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | Bug Fix | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2010-12-17 17:50:15 UTC | Type: | --- |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: | |||
Bug Depends On: | |||
Bug Blocks: | 201449 |
Description
Alan Dunn
2009-06-17 18:57:05 UTC
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. Could you acknowledge that you still wish to submit this? Sorry if my previous message did not look sufficiently like a ping. |