[pkgdb] lfsc was added for jjames

[Fedora PackageDB]

pbabinca has added Package lfsc with summary SMT proof checker
pbabinca has approved Package lfsc
pbabinca has added a Fedora devel branch for lfsc with an owner of jjames
pbabinca has approved lfsc in Fedora devel
pbabinca has approved Package lfsc
pbabinca has set commit to Approved for provenpackager on lfsc (Fedora devel)
pbabinca has set checkout to Approved for provenpackager on lfsc (Fedora devel)

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