Caro Pedro, > But when I add the repository public key I get this message: > "gpg: Keyserver time out". gpg --keyserver keyserver.ubuntu.com --recv 1F9ADD375CA44993 works fine here, so probably was a temporary problem or is a problem with your connection. cheers -- Giovanni --