../ derby-doc_10.10.1.1-1_all.deb 12-Jun-2013 15:51 9219240 derby-tools_10.10.1.1-1_all.deb 12-Jun-2013 15:51 180612 derby_10.10.1.1-1.debian.tar.gz 12-Jun-2013 15:51 7208 derby_10.10.1.1-1.dsc 12-Jun-2013 15:51 1563 derby_10.10.1.1.orig.tar.gz 12-Jun-2013 15:51 12324632 libderby-java_10.10.1.1-1_all.deb 12-Jun-2013 15:51 4001740 libderbyclient-java_10.10.1.1-1_all.deb 12-Jun-2013 15:51 507520