Index of /debian

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]README.html2017-12-06 12:28 2.5K 
[DIR]devel/2021-04-12 07:43 -  
[DIR]develop/2020-09-02 11:24 -  
[DIR]hip-cat/2020-03-01 10:58 -  
[DIR]master/2021-04-12 07:43 -  
[DIR]parson/2018-03-11 08:17 -  
[   ]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-old-stable)
jessie Debian 8.0 (old-stable)
stretch Debian 9.0 (stable)
testing Debian testing
trusty Ubuntu 14.04 LTS (trusty tahr), Linux Mint 17
xenial Ubuntu 16.04 LTS (xenial xerus)
zesty Ubuntu 17.04 (zesty zapus)
artful Ubuntu 17.10 (artful aardvark)
.... Any non-EOLed Ubuntu release should normally work, we're just bad at updating this page in time
raspbianObviously only for Debian releases, not Ubuntu
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 -