+ alias: developer accessible porter machines
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ service:
+ alias: machines running services
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ #buildd:
+ # alias: buildd systems
+ # extinfo-icon_image: base/debian.png
+ # extinfo-icon_image_alt: Debian GNU/Linux
+ # extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ general:
+ alias: general purpose developer accessible machines