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