AlternC Debian Official Repository

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/

Information and help

• https://alternc.com/
• https://aide.alternc.org/

Buster and later

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.list 
		

apt update
apt install alternc -t buster-backports
alternc.install
		

Stretch

## 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.list 
		

	
apt update
apt install alternc
alternc.install
		

Nightly or experimental

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 
		

/