Hi,

I just ried to install graph-tool on Ubuntu Disco as described in the instructions. But I can manage to get hold of the correct apt resources.

I added this to my sources.list file:

__________________________________________________________
deb [trusted=yes] http://downloads.skewed.de/apt/disco disco universe
deb-src [trusted=yes] http://downloads.skewed.de/apt/disco disco universe
___________________________________________________________


I have even tried to just access them directly via Browser... It seems the corresponding directory is missing? Or did I do something wrong?

Thanks for your help!
Martin