Repository installation for Debian 9 Stretch

Our packages are available for Debian Jessie from this repository :

Sources list modification

To add this repository to your Ubuntu or Debian system, create as root this file :
and add the following content :
deb stretch main
deb-src stretch main

Secure apt

The PAPPSO Debian repository is signed with the key of "Olivier Langella <>" with key ID 864ABE64. You can fetch and import this with (as root):
wget -O - | apt-key add -

Install packages

Update your system (as root):
apt update
Done. You are ready to install any proteomic software from our repository with (for example):
sudo apt install xtpcpp masschroq masschroq-studio