[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 #21 from Petr Rockai <prockai at redhat.com>  2009-09-02 10:03:08 EDT ---
Hi David,

sorry for taking this long. I am sure I drafted a reply to this bug and lost it
somewhere a few months (I guess) back. As for maintaining the package: I am a
little too busy to work on this right now. I can offer you co-maintainership to
a limited extent, however I am not very fluent with .spec files (it's a few
years since I have done any rpm packaging work). I can probably do more on the
upstream level, improving the source tarball to meet your packaging needs.

As for administrative issues with divine-mc source tarball, I still haven't
gotten around to making a 1.4.1 -- I have the CMakeLists and packjars changes
ready in the 2.0 branch, so it'll be a matter of straightforward backport.

Thanks,
   Petr.

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