minsky from home:hpcoder1 project

Select Your Operating System

For CentOS 8 Stream run the following as root:
cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:hpcoder1/CentOS_8_Stream/home:hpcoder1.repo
yum install minsky
For CentOS 8 run the following as root:
cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:hpcoder1/CentOS_8/home:hpcoder1.repo
yum install minsky
For CentOS 7 run the following as root:
cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:hpcoder1/CentOS_7/home:hpcoder1.repo
yum install minsky
For Debian Unstable 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:/hpcoder1/Debian_Unstable/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_Unstable/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For Debian Testing 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:/hpcoder1/Debian_Testing/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_Testing/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
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:/hpcoder1/Debian_9.0/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_9.0/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
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:/hpcoder1/Debian_12/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_12/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
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:/hpcoder1/Debian_11/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_11/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
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:/hpcoder1/Debian_10/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For Fedora Rawhide run the following as root:
dnf config-manager --add-repo https://download.opensuse.org/repositories/home:hpcoder1/Fedora_Rawhide/home:hpcoder1.repo
dnf install minsky
For Fedora 39 run the following as root:
dnf config-manager --add-repo https://download.opensuse.org/repositories/home:hpcoder1/Fedora_39/home:hpcoder1.repo
dnf install minsky
For Fedora 38 run the following as root:
dnf config-manager --add-repo https://download.opensuse.org/repositories/home:hpcoder1/Fedora_38/home:hpcoder1.repo
dnf install minsky
For Fedora 37 run the following as root:
dnf config-manager --add-repo https://download.opensuse.org/repositories/home:hpcoder1/Fedora_37/home:hpcoder1.repo
dnf install minsky
For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/openSUSE_Tumbleweed/home:hpcoder1.repo
zypper refresh
zypper install minsky
For openSUSE Slowroll run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/openSUSE_Slowroll/home:hpcoder1.repo
zypper refresh
zypper install minsky
For openSUSE Factory PowerPC run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/openSUSE_Factory_PowerPC/home:hpcoder1.repo
zypper refresh
zypper install minsky
For openSUSE Factory ARM run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/openSUSE_Factory_ARM/home:hpcoder1.repo
zypper refresh
zypper install minsky
For 15.6 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/15.6/home:hpcoder1.repo
zypper refresh
zypper install minsky
For 15.5 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/15.5/home:hpcoder1.repo
zypper refresh
zypper install minsky
For 15.4 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/15.4/home:hpcoder1.repo
zypper refresh
zypper install minsky
For 15.3 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/15.3/home:hpcoder1.repo
zypper refresh
zypper install minsky
For RHEL 7 run the following as root:
cd /etc/yum.repos.d/
wget https://download.opensuse.org/repositories/home:hpcoder1/RHEL_7/home:hpcoder1.repo
yum install minsky
For SLE 15 SP3 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/SLE_15_SP3/home:hpcoder1.repo
zypper refresh
zypper install minsky
For SLE 15 SP2 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/SLE_15_SP2/home:hpcoder1.repo
zypper refresh
zypper install minsky
For SLE 15 SP1 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/SLE_15_SP1/home:hpcoder1.repo
zypper refresh
zypper install minsky
For SLE 15 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/SLE_15/home:hpcoder1.repo
zypper refresh
zypper install minsky
For SLE 12 SP5 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/SLE_12_SP5/home:hpcoder1.repo
zypper refresh
zypper install minsky
For xUbuntu 23.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:/hpcoder1/xUbuntu_23.10/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_23.10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 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:/hpcoder1/xUbuntu_23.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_23.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 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:/hpcoder1/xUbuntu_22.10/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_22.10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 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:/hpcoder1/xUbuntu_22.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_22.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 21.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:/hpcoder1/xUbuntu_21.10/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_21.10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 21.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:/hpcoder1/xUbuntu_21.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_21.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
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:/hpcoder1/xUbuntu_20.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_20.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 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:/hpcoder1/xUbuntu_18.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_18.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 16.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:/hpcoder1/xUbuntu_16.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_16.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky
For xUbuntu 14.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:/hpcoder1/xUbuntu_14.04/ /' | sudo tee /etc/apt/sources.list.d/home:hpcoder1.list
curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/xUbuntu_14.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
sudo apt update
sudo apt install minsky

Packages for xUbuntu 23.10:

Packages for xUbuntu 23.04:

Packages for xUbuntu 22.10:

Packages for xUbuntu 22.04:

Packages for xUbuntu 21.10:

Packages for xUbuntu 21.04:

Packages for xUbuntu 20.04:

Packages for xUbuntu 18.04: