The first one was Ancelads repo mirror for now defunct Nokia official repos. If you installed it you should now be able to install developer mode and get terminal