[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

[bugzilla at redhat.com]

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=486757





--- Comment #1 from David A. Wheeler <dwheeler at dwheeler.com>  2009-02-24 00:21:40 EDT ---
Sorry, here's an updated spec/SRPM pair:

Spec URL: http://www.dwheeler.com/divine-mc.spec
SRPM URL: http://www.dwheeler.com/divine-mc-1.3-2.fc10.src.rpm

This program doesn't build on ppc64, but the previous specification
accidentally omitted the required ExcludeArch.  This revision 2 adds the
ExcludeArch (I had trouble accessing Koji earlier, or I would've found this
earlier.)

Clean bill of health building on Koji; as noted at:
 http://koji.fedoraproject.org/koji/taskinfo?taskID=1151799
1151799 build (dist-f10, divine-mc-1.3-2.fc10.src.rpm): open
(x86-3.fedora.phx.redhat.com) -> closed
  0 free  0 open  4 done  0 failed

rpmlint gives a clean bill of health, too.

-- 
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.