[pkgdb] minisat2 (Fedora, 8) updated by kevin

[Fedora PackageDB (pkgdb)]

Kevin Fenzi (kevin) added a Fedora 8 branch for minisat2
Kevin Fenzi (kevin) has set commit to Approved for packager on minisat2 (Fedora 8)
Kevin Fenzi (kevin) has set build to Approved for packager on minisat2 (Fedora 8)
Kevin Fenzi (kevin) has set checkout to Approved for packager on minisat2 (Fedora 8)
Kevin Fenzi (kevin) Approved packager for commit access on minisat2 (Fedora 8)

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