/home/deb-cd/sarge_r2/ia64.tmp/iso-dvd/debian-31r2-ia64-binary-1.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-dvd/debian-31r2-ia64-binary-2.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-dvd/debian-31r2-ia64-binary-3.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-10.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-11.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-12.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-13.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-14.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-15.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-1.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-2.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-3.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-4.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-5.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-6.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-7.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-8.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-31r2-ia64-binary-9.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-update-3.1r2-ia64-1.iso is uptodate /home/deb-cd/sarge_r2/ia64.tmp/iso-cd/debian-update-3.1r2-ia64-2.iso is uptodate