I would have thought adding a ppa was quite simple. /etc/apt/sources.list.d/* -- Met vriendelijke groeten, Keimpe de Jong