This is AlternC's official Debian package repository.
As of 202312 we provide stable releases for debian until Buster (Debian 10) distribution.
/!\ IMPORTANT /!\ since 2023 we don't support anymore distribution aliases such as 'stable', 'old(old...)stable'. You must use the full distribution name as defined at https://www.debian.org/releases/
To enable this repository:
sudo wget https://debian.alternc.org/key.txt -O /usr/share/keyrings/alternc.asc echo "deb [signed-by=/usr/share/keyrings/alternc.asc] https://debian.alternc.org/ $(lsb_release -cs) main" | sudo tee -a /etc/apt/sources.list.d/alternc.listTo install AlternC base, backports is required to be compliant with phpmyadmin requirements.
apt update apt install alternc -t buster-backports alternc.install
## Prevent old X3 error CA certificate wget --no-check-certificate https://debian.alternc.org/key.txt -O - | apt-key add - echo "Acquire::https::Verify-Peer \"false\";" > /etc/apt/apt.conf.d/90ignore-cert ## Set repository echo "deb https://debian.alternc.org/ $(lsb_release -cs) main" | sudo tee -a /etc/apt/sources.list.d/alternc.listTo install AlternC base
apt update apt install alternc alternc.install
Stable release are available only on stable repository, then to get any last package your need current distribution and experimental distribution configured.
sudo wget https://debian.alternc.org/key.txt -O /usr/share/keyrings/alternc.asc echo "deb [signed-by=/usr/share/keyrings/alternc.asc] https://debian.alternc.org/ $(lsb_release -cs) main" | sudo tee -a /etc/apt/sources.list.d/alternc.list echo "deb [signed-by=/usr/share/keyrings/alternc.asc] https://debian.alternc.org/ experimental main" | sudo tee -a /etc/apt/sources.list.d/alternc.list
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
contrib/ | - | 2024-Nov-29 13:24 |
installed/ | - | 2024-Nov-29 13:23 |
main/ | - | 2024-Nov-29 13:24 |
non-free/ | - | 2024-Nov-29 13:24 |
Release | 42057 | 2024-Nov-29 13:24 |
Release.gpg | 833 | 2024-Nov-29 13:24 |