I ran these commands:
sudo wget "http://pastebin.com/raw/uzhrtg5M" -O/extras/Source-list
sudo apt-get update
But it seems that I have replaced my Source-list with a Source-list of wrong version, since I am using Ubuntu 14.04 LTS but the source from which I downloaded was for Ubuntu 12.02 LTS.
/extras/Source-list
is not a path thatapt-get
uses to determine package repositories to use. – David Foerster Mar 25 '16 at 12:51