processed_package
extern int processed_package(const char *pkgname);
if (processed_package(pkgname)) {