Name Last modified Size
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 09-Nov-2008 11:01 -
![[ ]](/icons/compressed.gif){kind=icon}
jabref_2.3.1-5.diff.gz 16-Jul-2008 17:47 12k
![[ ]](/icons/unknown.gif){kind=icon}
jabref_2.3.1-5.dsc 16-Jul-2008 17:47 1k
![[ ]](/icons/deb.gif){kind=icon}
jabref_2.3.1-5_all.deb 16-Jul-2008 17:47 2.3M
jabref_2.3.1.orig.tar.gz 30-Nov-2007 14:02 4.4M