[pkgdb] stp was added for dwheeler

[Fedora PackageDB]

kevin has added Package stp with summary Constraint solver/decision procedure
kevin has approved Package stp
kevin has added a Fedora devel branch for stp with an owner of dwheeler
kevin has approved stp in Fedora devel
kevin has approved Package stp
kevin has set commit to Approved for provenpackager on stp (Fedora devel)
kevin has set build to Approved for provenpackager on stp (Fedora devel)
kevin has set checkout to Approved for provenpackager on stp (Fedora devel)

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