../ derby-doc_10.14.2.0-1_all.deb 17-May-2018 15:44 6M derby-tools_10.14.2.0-1_all.deb 17-May-2018 15:44 211K libderby-java_10.14.2.0-1_all.deb 17-May-2018 15:44 4M libderbyclient-java_10.14.2.0-1_all.deb 17-May-2018 15:44 538K