---
debian_mirror: 'file:/pool/mirror/pub/debian'

interfaces:
  cachan_adm: eth0.10
  infra: eth0.111

loc_ntp_server:
  open:
    - 172.17.10.0/24
    - 172.16.32.0/22