viennarna from home:tbi project

Select Your Operating System

For Arch Linux, edit /etc/pacman.conf and add the following (note that the order of repositories in pacman.conf is important, since pacman always downloads the first found package):
[home_tbi_Arch]
Server = https://download.opensuse.org/repositories/home:/tbi/Arch/$arch
Then run the following as root
key=$(curl -fsSL https://download.opensuse.org/repositories/home:tbi/Arch/$(uname -m)/home_tbi_Arch.key)
fingerprint=$(gpg --quiet --with-colons --import-options show-only --import --fingerprint <<< "${key}" | awk -F: '$1 == "fpr" { print $10 }')

pacman-key --init
pacman-key --add - <<< "${key}"
pacman-key --lsign-key "${fingerprint}"

pacman -Sy home_tbi_Arch/viennarna
For Debian 12 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Debian_12/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Debian_12/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Debian 11 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Debian_11/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Debian_11/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Debian 10 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Debian_10/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Debian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna

Packages for Debian 12:

Packages for Debian 11:

Packages for Debian 10:

For Ubuntu 23.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Ubuntu_23.04/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Ubuntu_23.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Ubuntu 22.10 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Ubuntu_22.10/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Ubuntu_22.10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Ubuntu 22.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Ubuntu_22.04/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Ubuntu_22.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Ubuntu 20.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Ubuntu_20.04/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Ubuntu_20.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna
For Ubuntu 18.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/tbi/Ubuntu_18.04/ /' | sudo tee /etc/apt/sources.list.d/home:tbi.list
curl -fsSL https://download.opensuse.org/repositories/home:tbi/Ubuntu_18.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_tbi.gpg > /dev/null
sudo apt update
sudo apt install viennarna

Packages for Ubuntu 23.04:

Packages for Ubuntu 22.10:

Packages for Ubuntu 22.04:

Packages for Ubuntu 20.04:

Packages for Ubuntu 18.04: