Packages that will be orphaned

[Toshio Kuratomi]

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 at gmail.com> wrote:
> > E
> > frama-c
> > gappa
> > ltl2ba
> > minisat2
> 
Done
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
Url : http://lists.fedoraproject.org/pipermail/devel/attachments/20110620/d32b6e41/attachment.bin