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=619831 --- Comment #9 from David A. Wheeler <[email protected]> 2010-08-04 21:45:32 EDT --- New Package SCM Request ======================= Package Name: ltl2ba Short Description: Fast translation from LTL formulas to Buchi automata Owners: dwheeler mrader Branches: f12 f13 f14 InitialCC: -- 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. _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
