Sorgenti apt per i pacchetti del progetto ISI

Il seguente e' il contenuto del file /etc/apt/sources.list

# DIST

deb-src http://ftp.de.debian.org/debian testing main contrib non-free
deb http://ftp.de.debian.org/debian stable main contrib non-free
deb http://ftp.de.debian.org/debian-non-US testing/non-US main contrib non-free

# SECURITY

deb http://security.debian.org/ stable/updates main contrib non-free

# BEE SIDE REPOSITORY

deb http://debian.bee-side.org:8080 sarge main extra isi

# SARACENO REPOSITORY

deb http://lan.saraceno.org/isirep/debian sarge main isi contrib