Don't know for PPM but for those using Debian looking for .deb just add in your /etc/apt/sources.list :

#catalyst
deb http://pkg-catalyst.alioth.debian.org/ binary/
[download]