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