Download Ice 3.7 for C#

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/debian12 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/debian11 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/debian10 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/debian9 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo dnf install https://download.zeroc.com/ice/3.7/el9/ice-repo-3.7.el9.noarch.rpm

sudo dnf install https://download.zeroc.com/ice/3.7/el8/ice-repo-3.7.el8.noarch.rpm

sudo yum install https://download.zeroc.com/ice/3.7/el7/ice-repo-3.7.el7.noarch.rpm

wget https://download.zeroc.com/ice/3.7/suse12/zeroc-ice3.7.repo
sudo zypper addrepo zeroc-ice3.7.repo
sudo rpm --import https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/ubuntu22.04 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/ubuntu20.04 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/ubuntu18.04 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update

sudo mkdir -p /etc/apt/keyrings
sudo curl -fsSL https://download.zeroc.com/GPG-KEY-zeroc-release-B6391CB2CFBA643D | sudo gpg --dearmor -o /etc/apt/keyrings/zeroc.gpg
echo \
    'deb [signed-by=/etc/apt/keyrings/zeroc.gpg] https://download.zeroc.com/ice/3.7/ubuntu16.04 stable main' \
    | sudo tee /etc/apt/sources.list.d/zeroc-ice-3.7.list
sudo apt-get update