1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
4 <meta http-equiv="Content-Type" content="text/html; charset=">
5 <title>Debian Project -- debian.org Developer Machines</title>
6 <link rev="made" href="mailto:webmaster@debian.org">
7 <meta name="Generator" content="WML 2.0.11 (19-Aug-2006)">
8 <meta name="Modified" content="2008-07-17 09:04:15">
10 <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#800080" alink="#FF0000">
11 <table width="100%" align="center" border="0" cellpadding="3" cellspacing="0" summary="">
13 <td align="left" valign="middle">
14 <a href="http://www.debian.org/"><img src="http://www.debian.org/logos/openlogo-nd-50.png" border="0" hspace="0" vspace="0" alt=""></a>
15 <a href="http://www.debian.org/" rel="start"><img src="http://www.debian.org/Pics/debian.png" border="0" hspace="0" vspace="0" alt="Debian Project"></a>
20 <table bgcolor="#DF0451" border="0" cellpadding="0" cellspacing="0" width="100%" summary="">
23 <img src="http://www.debian.org/Pics/red-upperleft.png" align="left" border="0" hspace="0" vspace="0" alt="">
25 <td rowspan="2" align="center">
26 <a href="http://www.debian.org/intro/about"><img src="http://www.debian.org/Pics/about.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="About Debian"></a>
27 <a href="http://www.debian.org/News/"><img src="http://www.debian.org/Pics/news.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="News"></a>
28 <a href="http://www.debian.org/distrib/"><img src="http://www.debian.org/Pics/getting.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="Getting Debian"></a>
29 <a href="http://www.debian.org/support"><img src="http://www.debian.org/Pics/support.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="Support"></a>
30 <a href="http://www.debian.org/devel/"><img src="http://www.debian.org/Pics/devel.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="Developers' Corner"></a>
31 <a href="http://www.debian.org/sitemap" rel="contents"><img src="http://www.debian.org/Pics/sitemap.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="Site map"></a>
32 <a href="http://search.debian.org/"><img src="http://www.debian.org/Pics/search.en.gif" align="middle" border="0" hspace="4" vspace="7" alt="Search"></a>
35 <img src="http://www.debian.org/Pics/red-upperright.png" align="right" border="0" hspace="0" vspace="0" alt="">
40 <img src="http://www.debian.org/Pics/red-lowerleft.png" align="left" border="0" hspace="0" vspace="0" alt="">
43 <img src="http://www.debian.org/Pics/red-lowerright.png" align="right" border="0" hspace="0" vspace="0" alt="">
48 <h1>debian.org Developer Machines</h1>
50 <form method="post" action="machines.cgi">
52 <option value="_summary_">Summary
55 <input type="submit" value="Go">
61 <a href="http://people.debian.org/~joey/misc/naming.html">Debian Host Naming Scheme</a> <a href="doc-hosts.html">SSH Keys</a><br>
62 Not all Debian hardware is maintained by the Debian System Administrators. For a (partial) list of systems controlled by others please see <a href="http://wiki.debian.org/Teams/DSA/non-DSA-HW">the non-DSA-HW wiki page</a>.
64 <hr noshade width="100%" size="1">
65 Back to the <a href="http://www.debian.org/">Debian Project homepage</a>.
66 <hr noshade width="100%" size="1">
69 <a href="mailto:admin@db.debian.org">admin@db.debian.org</a>.
73 Last Modified: Thu, Jul 17 09:04:14 UTC 2008
75 Copyright © 1997-2008
76 <a href="http://www.spi-inc.org/">SPI</a>; See <a href="http://www.debian.org/license" rel="copyright">license terms</a><br>
77 Debian is a registered trademark of Software in the Public Interest, Inc.