abc43b4df0fe84bbc949be7ecbb5d18d61bafa0a debian-40r4-ia64-DVD-1.iso 5a10f336d02f5e419089eb82d55d873fc62c3ba6 debian-40r4-ia64-DVD-2.iso 5ddd3fa5d9b1dae7ba8b677a8f10cd7c8323d14e debian-40r4-ia64-DVD-3.iso dabada01bc285a46196538ff3f6572ac0c5404de debian-40r4-ia64-DVD-4.iso 4319f866df1bd6114923cdfedb26a7b2fe5cf70b debian-update-4.0r4-ia64-DVD-1.iso