PermLib moved to Rostock.

The latest version can be found here.