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.badger@xxxxxxxxx> wrote: > > E > > frama-c > > gappa > > ltl2ba > > minisat2 > Done
Attachment:
pgpaMlRbUZ5ll.pgp
Description: PGP signature
-- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
