Ubuntu Disco

graph-tool
#1

This is indeed a problem with the packages. I'm re-building them now.

#2

attachment.html (6.75 KB)

#3

You were just supposed to wait.

You can try again now (after running "apt-get update").

Best,
Tiago

#4

attachment.html (2.01 KB)

#5

This has been fixed in the most recent revision.