Index of /debian

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]README.html2016-02-14 11:56 2.1K 
[DIR]devel/2017-05-14 11:03 -  
[DIR]develop/2017-04-30 11:03 -  
[DIR]hip-cat/2017-07-04 16:35 -  
[DIR]master/2017-05-14 11:03 -  
[DIR]parson/2017-07-04 13:44 -  
[   ]release.key2015-11-04 11:41 1.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
wheezy Debian 7.0 (old-stable)
jessie Debian 8.0 (stable)
testing Debian testing
trusty Ubuntu 14.04 LTS (trusty tahr), Linux Mint 17
wily Ubuntu 15.10 (wily werewolf)
armelNot for Ubuntu (no official port anymore after Precise)

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 -