--- glob_mirror: hostname: mirror.cachan-adm.crans.org ip: 172.17.10.30 debian_mirror: http://mirror.cachan-adm.crans.org/debian debian_components: main contrib non-free proxmox_mirror: http://mirror.cachan-adm.crans.org/proxmox/debian/pve