- We now have Hurd K3.
authorSimon Law <sfllaw@csclub.uwaterloo.ca>
Sun, 18 May 2003 07:01:46 +0000 (07:01 +0000)
committerSimon Law <sfllaw@csclub.uwaterloo.ca>
Sun, 18 May 2003 07:01:46 +0000 (07:01 +0000)
office/operating-systems.xml

index c0513f3..0a7ae63 100755 (executable)
@@ -17,7 +17,7 @@ you provide your own CDs.</p>
 <li><a href="http://www.debian.org/">Debian GNU/Linux 3.0r1 Official (i386, sparc)</a></li>
 <li><a href="http://www.debian.org/">Debian GNU/Linux 3.0r0 Official (arm, powerpc, sparc)</a></li>
 <li><a href="http://hackers.progeny.com/pgi/">Debian GNU/Linux 3.0r0 PGI (i386)</a></li>
-<li><a href="http://www.debian.org/ports/hurd/">Debian GNU/Hurd K2 (i386)</a></li>
+<li><a href="http://www.debian.org/ports/hurd/">Debian GNU/Hurd K3 (i386)</a></li>
 <li><a href="http://www.freebsd.org/">FreeBSD 4.8-RELEASE (i386)</a></li>
 <li><a href="http://www.freebsd.org/">FreeBSD 5.0-RELEASE (i386)</a></li>
 <li><a href="http://www.gentoo.org/index.xml">Gentoo Linux 1.4_rc2 (x86-stage1, i586-stage2)</a></li>