Index of /debian

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]devel/2011-12-22 17:07 -  
[DIR]develop/2015-05-04 01:23 -  
[DIR]hip-cat/2015-11-21 08:11 -  
[DIR]master/2011-12-22 17:07 -  
[DIR]parson/2015-05-15 12:36 -  
[   ]release.key2015-11-04 11:41 1.0K 
[TXT]README.html2015-10-16 18:25 2.0K 

These are Debian/Ubuntu package repositories. New packages are built nightly (if new changes are available).

Adding the APT repository

Add a line like this to your /etc/apt/sources.list


Replace branch + version + architecture with the corresponding values. Also, the ./ at the end is important.

masterMain branch, you probably want this
developSlightly more experimental
parson, hip-cat, ...Other feature branches, even more experimental
squeeze Debian 6.0 (old-old-stable)
wheezy Debian 7.0 (old-stable)
jessie Debian 8.0 (stable)
testing Debian testing
precise Ubuntu 12.04 LTS (precise pangolin), Linux Mint 13
trusty Ubuntu 14.04 LTS (trusty tahr), Linux Mint 17
utopic Ubuntu 14.10 (utopic unicorn)
vivid Ubuntu 15.04 (vivid vervet)
wily Ubuntu 15.10 (wily werewolf)
arm*Currently out of service

For example, if you have debian jessie amd64, you'd write the following:

deb ./

GPG key

You can add the signing key (signed by E3304051,, which has a pretty reasonable trust path) to your apt configs by copy-pasting the following into a shell window:

wget -O- | sudo apt-key add -