[pkgdb] frama-c (Fedora, 14) updated by toshio

[Fedora PackageDB]

Package frama-c in Fedora 14 is now owned by jjames

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/frama-c