@def $jcristau = ($jcristau 2001:bc8:3f1d::/48); # topinambour
@def $master = (82.195.75.110 2001:41b8:202:deb:216:36ff:fe40:4001); # master.debian.org
-@def $people = (5.153.231.30 2001:41c8:1000:21::21:30); # paradis.debian.org
+@def $people = (209.87.16.67 2607:f8f0:614:1::1274:67); # paradis.debian.org
@def $draghi = (82.195.75.106 2001:41b8:202:deb:1a1a:0:52c3:4b6a); # draghi.debian.org
@def $DSA_IPS = ($weasel $zobel $luca $tfheen $jcristau $master $people $draghi);