This is indeed a problem with the packages. I'm re-building them now.
You were just supposed to wait.
You can try again now (after running "apt-get update").
Best,
Tiago
This has been fixed in the most recent revision.
This is indeed a problem with the packages. I'm re-building them now.
You were just supposed to wait.
You can try again now (after running "apt-get update").
Best,
Tiago
This has been fixed in the most recent revision.