../ zeroc-ice-manual_3.5.0-1.debian.tar.gz 21-Oct-2013 14:15 9006 zeroc-ice-manual_3.5.0-1.dsc 21-Oct-2013 14:15 1468 zeroc-ice-manual_3.5.0-1_all.deb 23-Oct-2013 17:09 7M zeroc-ice-manual_3.5.0.orig.tar.xz 21-Oct-2013 14:15 7M