widelands from home:stevenpusser:Widelands project

Select Your Operating System

For Raspbian 9.0 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:/stevenpusser:/Widelands/Raspbian_9.0/ /' | sudo tee /etc/apt/sources.list.d/home:stevenpusser:Widelands.list
curl -fsSL https://download.opensuse.org/repositories/home:stevenpusser:Widelands/Raspbian_9.0/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_stevenpusser_Widelands.gpg > /dev/null
sudo apt update
sudo apt install widelands
For Raspbian 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:/stevenpusser:/Widelands/Raspbian_10/ /' | sudo tee /etc/apt/sources.list.d/home:stevenpusser:Widelands.list
curl -fsSL https://download.opensuse.org/repositories/home:stevenpusser:Widelands/Raspbian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_stevenpusser_Widelands.gpg > /dev/null
sudo apt update
sudo apt install widelands
For Debian 9.0 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:/stevenpusser:/Widelands/Debian_9.0/ /' | sudo tee /etc/apt/sources.list.d/home:stevenpusser:Widelands.list
curl -fsSL https://download.opensuse.org/repositories/home:stevenpusser:Widelands/Debian_9.0/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_stevenpusser_Widelands.gpg > /dev/null
sudo apt update
sudo apt install widelands
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:/stevenpusser:/Widelands/Debian_10/ /' | sudo tee /etc/apt/sources.list.d/home:stevenpusser:Widelands.list
curl -fsSL https://download.opensuse.org/repositories/home:stevenpusser:Widelands/Debian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_stevenpusser_Widelands.gpg > /dev/null
sudo apt update
sudo apt install widelands