On Mon, Jun 20, 2011 at 12:21:09PM -0600, Jerry James wrote: > On Mon, Jun 20, 2011 at 11:34 AM, Toshio Kuratomi <a.bad...@gmail.com> wrote: > > E > > frama-c > > gappa > > ltl2ba > > minisat2 > Done
pgp4IINKDRRBQ.pgp
Description: PGP signature
-- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
