On Mon, Jun 20, 2011 at 11:34 AM, Toshio Kuratomi <[email protected]> wrote: > E > frama-c > gappa > ltl2ba > minisat2
I can take these. I already comaintain gappa. -- Jerry James http://www.jamezone.org/ -- devel mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/devel
