../ derby-doc_10.14.2.0-1_all.deb 16-May-2018 16:40 6212704 derby-tools_10.14.2.0-1_all.deb 16-May-2018 16:40 216452 libderby-java_10.14.2.0-1_all.deb 16-May-2018 16:40 4314716 libderbyclient-java_10.14.2.0-1_all.deb 16-May-2018 16:40 550772