[Bug 506567] Review Request: acl2 - Automated reasoning system based on Common Lisp
bugzilla at redhat.com
bugzilla at redhat.com
Fri Dec 17 17:50:16 UTC 2010
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 <tibbs at 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.
More information about the package-review
mailing list