[pkgdb] frama-c was added for mrader

[Fedora PackageDB]

kevin has added Package frama-c with summary mathematical code validation interface
kevin has approved Package frama-c
kevin has added a Fedora devel branch for frama-c with an owner of mrader
kevin has approved frama-c in Fedora devel
kevin has approved Package frama-c

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