[pkgdb] csisat was added for jjames

[Fedora PackageDB]

tibbs has added Package csisat with summary Tool for LA+EUF interpolation
tibbs has approved Package csisat
tibbs has added a Fedora devel branch for csisat with an owner of jjames
tibbs has approved csisat in Fedora devel
tibbs has approved Package csisat
tibbs has set commit to Approved for provenpackager on csisat (Fedora devel)
tibbs has set checkout to Approved for provenpackager on csisat (Fedora devel)
tibbs has set build to Approved for provenpackager on csisat (Fedora devel)

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