{"pname":"jedit","version":"5.7.0","src":{"url":"https://downloads.sourceforge.net/jedit/jedit5.7.0install.dmg","sha256":"5f3582c076e400dc79673a0b1f5a3314e1229288791d9019c693f2108d6d0bb5"},"installPhase":["mkdir -p \"$out/Applications/jEdit.app\" && cp -r \"jEdit.app\" \"$out/Applications\""],"meta":{"description":"Text editor","homepage":"https://www.jedit.org/"}}