../ zeroc-ice-manual_3.5.0-1.debian.tar.gz 17-Aug-2013 07:38 9006 zeroc-ice-manual_3.5.0-1.dsc 17-Aug-2013 07:38 1468 zeroc-ice-manual_3.5.0-1_all.deb 17-Aug-2013 07:38 6893438 zeroc-ice-manual_3.5.0.orig.tar.xz 17-Aug-2013 07:38 6884568