[pkgdb] minisat2 was added for dwheeler

[Fedora PackageDB (pkgdb)]

Kevin Fenzi (kevin) has added Package minisat2 with summary A minimalistic, open-source SAT solver
Kevin Fenzi (kevin) has approved Package minisat2
Kevin Fenzi (kevin) has added a Fedora devel branch for minisat2 with an owner of dwheeler
Kevin Fenzi (kevin) has approved minisat2 in Fedora devel
Kevin Fenzi (kevin) has approved Package minisat2
Kevin Fenzi (kevin) has set commit to Approved for packager on minisat2 (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for packager on minisat2 (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for packager on minisat2 (Fedora devel)
Kevin Fenzi (kevin) has set commit to Approved for uberpackager on minisat2 (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for uberpackager on minisat2 (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for uberpackager on minisat2 (Fedora devel)

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