O repo oficial é um repo, o PPA é um repo e não é possível adicionar um repo a um repo.
A melhor maneira seria pedir a todos para adicionar o seu repositório na sua instalação do Ubuntu. Desta forma, pode ser bastante útil. Você pode espelhar esse repositório também, de modo que você envie o pacote para o PPA, ele será espelhado nos servidores da faculdade e estará disponível como atualização para todos.