[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 #20 from David A. Wheeler <dwheeler at dwheeler.com>  2009-04-18 18:04:16 EDT ---
(Sorry for the blank previous comment.)

Petr: Would you mind "taking over" packaging divine-mc for Fedora?  I feel
silly trying to package this program for Fedora when there's a clear expert who
could do it much better instead.  Feel free to use my Fedora packaging for
divine-mc version 1.3 as a starting point.  If I were you, I'd wait for your
divine-mc 1.4.1 release next week, and use that as the baseline.

I haven't submitted a request to package the NIPS Promela compiler yet because
my package has mysterious errors that I haven't figured out.  It compiles fine
on F10, but not on F11.  On F11 (via koji) its test complains that in the XML,
the attribute "line" doesn't have a value... but I looked at the XML and it
DOES have a value.  Ugh.   I'm getting an F11 setup so I can track this down,
but someone who's more familiar with this program's innards could probably
figure this out far faster than I could.  My draft package is here:
http://www.dwheeler.com/nips-promela-compiler-1.2.5.20070327-1.fc10.src.rpm

Milos: Can you give me advice?  Should I submit a request for a package review
of nips-promela-compiler, even though it doesn't work on F11 yet, in the hopes
that someone can help me fix it?  Alternatively, does someone want to take over
that package?  My goal is to get these things packaged into Fedora (see
http://www.openproofs.org )... if someone else takes over lead, that's fine by
me!!

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