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





--- Comment #2 from Richard W.M. Jones <[email protected]>  2008-12-20 09:28:09 
EDT ---
In case you're wondering about the difference between
this package and bug 477313 (ocaml-preludeml), they
are aimed at two different areas.  That package, prelude.ml,
is for parallelizing across multicores on the same system.
This package can parallelize across a cluster of machines,
and also has a more theoretically sound basis in that you
can prove various sequential properties of the program.

-- 
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
[email protected]
http://www.redhat.com/mailman/listinfo/fedora-package-review

Reply via email to