mono-tools-opt from home:tpokorra:mono project

For Debian 8.0 run the following as root:

echo 'deb http://download.opensuse.org/repositories/home:/tpokorra:/mono/Debian_8.0/ /' > /etc/apt/sources.list.d/home:tpokorra:mono.list
apt-get update
apt-get install mono-tools-opt

You can add the repository key to apt. Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information). To add the key, run:

wget -nv https://download.opensuse.org/repositories/home:tpokorra:mono/Debian_8.0/Release.key -O Release.key
apt-key add - < Release.key
apt-get update

For Debian 7.0 run the following as root:

echo 'deb http://download.opensuse.org/repositories/home:/tpokorra:/mono/Debian_7.0/ /' > /etc/apt/sources.list.d/home:tpokorra:mono.list
apt-get update
apt-get install mono-tools-opt

You can add the repository key to apt. Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information). To add the key, run:

wget -nv https://download.opensuse.org/repositories/home:tpokorra:mono/Debian_7.0/Release.key -O Release.key
apt-key add - < Release.key
apt-get update

For openSUSE Leap 42.2 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/home:tpokorra:mono/openSUSE_Leap_42.2/home:tpokorra:mono.repo
zypper refresh
zypper install mono-tools-opt

For SLE 12 SP2 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/home:tpokorra:mono/SLE_12_SP2/home:tpokorra:mono.repo
zypper refresh
zypper install mono-tools-opt

For xUbuntu 16.04 run the following:

sudo sh -c "echo 'deb http://download.opensuse.org/repositories/home:/tpokorra:/mono/xUbuntu_16.04/ /' > /etc/apt/sources.list.d/home:tpokorra:mono.list"
sudo apt-get update
sudo apt-get install mono-tools-opt

You can add the repository key to apt. Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information). To add the key, run:

wget -nv https://download.opensuse.org/repositories/home:tpokorra:mono/xUbuntu_16.04/Release.key -O Release.key
sudo apt-key add - < Release.key
sudo apt-get update

For xUbuntu 14.04 run the following:

sudo sh -c "echo 'deb http://download.opensuse.org/repositories/home:/tpokorra:/mono/xUbuntu_14.04/ /' > /etc/apt/sources.list.d/home:tpokorra:mono.list"
sudo apt-get update
sudo apt-get install mono-tools-opt

You can add the repository key to apt. Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information). To add the key, run:

wget -nv https://download.opensuse.org/repositories/home:tpokorra:mono/xUbuntu_14.04/Release.key -O Release.key
sudo apt-key add - < Release.key
sudo apt-get update