The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /debian/pool/main/j/jedit/


../
jedit_5.5.0+dfsg-1.debian.tar.xz                   22-Apr-2018 16:55               23012
jedit_5.5.0+dfsg-1.dsc                             22-Apr-2018 16:55                2262
jedit_5.5.0+dfsg-1_all.deb                         22-Apr-2018 16:55             2351176
jedit_5.5.0+dfsg-2.debian.tar.xz                   31-Dec-2020 17:18               23052
jedit_5.5.0+dfsg-2.dsc                             31-Dec-2020 17:18                2224
jedit_5.5.0+dfsg-2_all.deb                         31-Dec-2020 17:49             2351460
jedit_5.5.0+dfsg.orig.tar.xz                       22-Apr-2018 16:55             2159768

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.