[ 'denis.debian.org', 'senfl.debian.org' ],
[ 'denis.debian.org', 'diamond.debian.org' ],
[ 'denis.debian.org', 'orff.debian.org' ],
[ 'denis.debian.org', 'senfl.debian.org' ],
[ 'denis.debian.org', 'diamond.debian.org' ],
[ 'denis.debian.org', 'orff.debian.org' ],