看这里(The Consciousness Repository)
包括

注意他的footnote:

Authenticated packages

Packages in this repository can be gpg authenticated. The key that is being used for signing the packages is DD385D79. You can enter this key into the APT trusted keys database with the following command:

wget http://debs.peadrop.com/DD385D79.gpg -O- | sudo apt-key add -

下面这个debian适用:

deb     http://ppa.launchpad.net/avassalotti/ubuntu gutsy main
deb-src http://ppa.launchpad.net/avassalotti/ubuntu gutsy main