Added a debian repository to the ci build