2 ## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
3 ## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
6 ## domain: hostname[::port] options
8 ## buildd.debian.org: raff.debian.org::587 byname
12 when 'spohr.debian.org', 'draghi.debian.org' then '
13 agnesi.debian.org: agnesi.debian.org::25
14 agricola.debian.org: agricola.debian.org::25
15 albeniz.debian.org: albeniz.debian.org::25
16 ancina.debian.org: ancina.debian.org::2025
17 arcadelt.debian.org: arcadelt.debian.org::25
18 argento.debian.org: argento.debian.org::25
19 bartok.debian.org: bartok.debian.org::25
20 brahms.debian.org: brahms.debian.org::25
21 caballero.debian.org: caballero.debian.org::25
22 crest.debian.org: crest.debian.org::25
23 dijkstra.debian.org: dijkstra.debian.org::25
24 escher.debian.org: escher.debian.org::25
25 fano.debian.org: fano.debian.org::25
26 finzi.debian.org: finzi.debian.org::25
27 geo1.debian.org: geo1.debian.org::25
28 geo2.debian.org: geo2.debian.org::25
29 geo3.debian.org: geo3.debian.org::25
30 gluck.debian.org: gluck.debian.org::25
31 goedel.debian.org: goedel.debian.org::25
32 goetz.debian.org: goetz.debian.org::25
33 handel.debian.org: handel.debian.org::25
34 kassia.debian.org: kassia.debian.org::587
35 kaufmann.debian.org: kaufmann.debian.org::25
36 lafayette.debian.org: lafayette.debian.org::25
37 lebrun.debian.org: lebrun.debian.org::25
38 leisner.debian.org: leisner.debian.org::25
39 lobos.debian.org: lobos.debian.org::25
40 luchesi.debian.org: luchesi.debian.org::25
41 mahler.debian.org: mahler.debian.org::25
42 malo.debian.org: malo.debian.org::25
43 mayer.debian.org: mayer.debian.org::25
44 mayr.debian.org: mayr.debian.org::25
45 merulo.debian.org: merulo.debian.org::25
46 morales.debian.org: morales.debian.org::25
47 mundy.debian.org: mundy.debian.org::25
48 murphy.debian.org: murphy.debian.org::25
49 paer.debian.org: paer.debian.org::25
50 penalosa.debian.org: penalosa.debian.org::25
51 pergolesi.debian.org: pergolesi.debian.org::25
52 peri.debian.org: peri.debian.org::25
53 pescetti.debian.org: pescetti.debian.org::25
54 piatti.debian.org: piatti.debian.org::2025
55 praetorius.debian.org: praetorius.debian.org::25
56 puccini.debian.org: puccini.debian.org::25
57 rem.debian.org: rem.debian.org::25
58 rore.debian.org: rore.debian.org::25
59 saens.debian.org: saens.debian.org::25
60 schein.debian.org: schein.debian.org::25
61 schroeder.debian.org: schroeder.debian.org::25
62 schumann.debian.org: schumann.debian.org::25
63 senfl.debian.org: senfl.debian.org::25
64 smetana.debian.org: smetana.debian.org::25
65 soler.debian.org: soler.debian.org::25
66 sperger.debian.org: sperger.debian.org::25
67 spontini.debian.org: spontini.debian.org::25
68 steffani.debian.org: steffani.debian.org::25
69 strauss.debian.org: strauss.debian.org::25
70 unger.debian.org: unger.debian.org::25
71 villa.debian.org: villa.debian.org::25
72 voltaire.debian.org: voltaire.debian.org::25
73 wieck.debian.org: wieck.debian.org::25
74 zee.debian.org: zee.debian.org::25
75 zelenka.debian.org: zelenka.debian.org::25