Name Last modified Size
Parent Directory -
jedit_5.1.0+dfsg-2.debian.tar.xz 13-Oct-2014 13:35 22K
jedit_5.1.0+dfsg-2.dsc 13-Oct-2014 13:35 2.2K
jedit_5.1.0+dfsg-2_all.deb 13-Oct-2014 13:35 2.1M
jedit_5.1.0+dfsg.orig.tar.xz 21-Oct-2013 07:42 1.8M
jedit_5.3.0+dfsg-1.debian.tar.xz 04-Jan-2016 06:47 22K
jedit_5.3.0+dfsg-1.dsc 04-Jan-2016 06:47 2.2K
jedit_5.3.0+dfsg-1_all.deb 04-Jan-2016 06:47 2.2M
jedit_5.3.0+dfsg.orig.tar.xz 04-Jan-2016 06:47 2.0M
jedit_5.5.0+dfsg-1.debian.tar.xz 22-Apr-2018 19:55 22K
jedit_5.5.0+dfsg-1.dsc 22-Apr-2018 19:55 2.2K
jedit_5.5.0+dfsg-1_all.deb 22-Apr-2018 19:55 2.2M
jedit_5.5.0+dfsg-2.debian.tar.xz 31-Dec-2020 19:18 23K
jedit_5.5.0+dfsg-2.dsc 31-Dec-2020 19:18 2.2K
jedit_5.5.0+dfsg-2_all.deb 31-Dec-2020 19:49 2.2M
jedit_5.5.0+dfsg.orig.tar.xz 22-Apr-2018 19:55 2.1M
Apache/2.2 Server at debian.noc.ntua.gr Port 80