Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/package-files/linux/deb
Parent Directory
Packages
control
jedit
jedit.desktop
postinst
postrm