../ zeroc-ice-manual_3.4.2-1.debian.tar.gz 02-Dec-2011 18:20 6641 zeroc-ice-manual_3.4.2-1.dsc 02-Dec-2011 18:20 1157 zeroc-ice-manual_3.4.2-1_all.deb 02-Dec-2011 18:20 4238884 zeroc-ice-manual_3.4.2.orig.tar.gz 02-Dec-2011 18:20 4233047