Debian package source for portal