On Mon, Jun 20, 2011 at 11:34 AM, Toshio Kuratomi <a.badger@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
