Padre-Plugin-InstallPARDist is a Padre repository