[pkgdb] prover9 was added for tcolles

[Fedora PackageDB (pkgdb)]

Kevin Fenzi (kevin) has added Package prover9 with summary Thereom Prover and Countermodel Generator
Kevin Fenzi (kevin) has approved Package prover9
Kevin Fenzi (kevin) has added a Fedora devel branch for prover9 with an owner of tcolles
Kevin Fenzi (kevin) has approved prover9 in Fedora devel
Kevin Fenzi (kevin) has approved Package prover9
Kevin Fenzi (kevin) has set commit to Approved for packager on prover9 (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for packager on prover9 (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for packager on prover9 (Fedora devel)
Kevin Fenzi (kevin) has set commit to Approved for uberpackager on prover9 (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for uberpackager on prover9 (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for uberpackager on prover9 (Fedora devel)

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