si, avete ragione, non c'è sui repository, non ne ero certo per questo avevo chiesto di controllare, comunque essendoci un installer non ci dovrebbero essere problemi