../ zeroc-ice-manual_3.5.0-1.debian.tar.gz 17-Aug-2013 10:38 9006 zeroc-ice-manual_3.5.0-1.dsc 17-Aug-2013 10:38 1468 zeroc-ice-manual_3.5.0-1_all.deb 17-Aug-2013 10:38 7M zeroc-ice-manual_3.5.0.orig.tar.xz 17-Aug-2013 10:38 7M