iverilog from home:verhaegs:Chips4Makers:dev project

For CentOS 8 run the following as root:

cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/CentOS_8/home:verhaegs:Chips4Makers:dev.repo
yum install iverilog

For CentOS 7 run the following as root:

cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/CentOS_7/home:verhaegs:Chips4Makers:dev.repo
yum install iverilog

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:/verhaegs:/Chips4Makers:/dev/Debian_11/ /' | sudo tee /etc/apt/sources.list.d/home:verhaegs:Chips4Makers:dev.list
curl -fsSL https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/Debian_11/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_verhaegs_Chips4Makers_dev.gpg > /dev/null
sudo apt update
sudo apt install iverilog

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:/verhaegs:/Chips4Makers:/dev/Debian_10/ /' | sudo tee /etc/apt/sources.list.d/home:verhaegs:Chips4Makers:dev.list
curl -fsSL https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/Debian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_verhaegs_Chips4Makers_dev.gpg > /dev/null
sudo apt update
sudo apt install iverilog

For Fedora Rawhide run the following as root:

dnf config-manager addrepo --from-repofile=https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/Fedora_Rawhide/home:verhaegs:Chips4Makers:dev.repo
dnf install iverilog

For Raspbian 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:/verhaegs:/Chips4Makers:/dev/Raspbian_11/ /' | sudo tee /etc/apt/sources.list.d/home:verhaegs:Chips4Makers:dev.list
curl -fsSL https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/Raspbian_11/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_verhaegs_Chips4Makers_dev.gpg > /dev/null
sudo apt update
sudo apt install iverilog

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:/verhaegs:/Chips4Makers:/dev/Raspbian_10/ /' | sudo tee /etc/apt/sources.list.d/home:verhaegs:Chips4Makers:dev.list
curl -fsSL https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/Raspbian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_verhaegs_Chips4Makers_dev.gpg > /dev/null
sudo apt update
sudo apt install iverilog

For RockyLinux 8 run the following as root:

cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/RockyLinux_8/home:verhaegs:Chips4Makers:dev.repo
yum install iverilog

For xUbuntu 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:/verhaegs:/Chips4Makers:/dev/xUbuntu_20.04/ /' | sudo tee /etc/apt/sources.list.d/home:verhaegs:Chips4Makers:dev.list
curl -fsSL https://download.opensuse.org/repositories/home:verhaegs:Chips4Makers:dev/xUbuntu_20.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_verhaegs_Chips4Makers_dev.gpg > /dev/null
sudo apt update
sudo apt install iverilog