¿Alguien sabe de dónde puedo descargar las ISO de Hurd? En la página de debian aparece el servidor ftp://ftp.gnu.org/pub/iso/hurd-J2/ y algunos mirrors, pero en el ftp sólo están los md5sum (o al menos es lo único disponible para los usuarios anónimos). Lo dicho, ¿alguien sabe algo?