../ jabref-plugin-oo_2.10+ds-3_all.deb 16-Oct-2014 00:22 48K jabref_2.10+ds-3.debian.tar.xz 16-Oct-2014 00:22 34K jabref_2.10+ds-3.dsc 16-Oct-2014 00:22 2517 jabref_2.10+ds-3_all.deb 16-Oct-2014 00:22 4M jabref_2.10+ds.orig.tar.bz2 13-Mar-2014 02:09 2M