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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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 #23 from Petr Rockai <prockai@xxxxxxxxxx>  2009-11-19 15:43:47 EDT ---
Hello!

In the meantime, I have released version 2.0 of DiVinE. It should address the
packaging problems you have encountered -- the jar files can be provided
externally if needed and so on.

Please consider using this new version instead of DiVinE MC 1.4 for packaging.
As for what changed since 1.4, there is a list of changes available at
http://divine.fi.muni.cz/page.php?page=whatsnew (the tarball can be gotten at
http://divine.fi.muni.cz/page.php?page=download).

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

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]