diff options
-rwxr-xr-x | editors/jedit/DETAILS | 5 | ||||
-rwxr-xr-x | editors/jedit/PRE_BUILD | 2 | ||||
-rw-r--r-- | gurus.gpg | bin | 34659 -> 35843 bytes |
3 files changed, 4 insertions, 3 deletions
diff --git a/editors/jedit/DETAILS b/editors/jedit/DETAILS index c4f88bdb6a..5b11aaea04 100755 --- a/editors/jedit/DETAILS +++ b/editors/jedit/DETAILS @@ -1,11 +1,12 @@ SPELL=jedit - VERSION=4.3pre8 + VERSION=4.3pre9 SOURCE=jedit${VERSION}source.tar.bz2 SOURCE_DIRECTORY=$BUILD_DIRECTORY/jEdit SOURCE_URL[0]=${SOURCEFORGE_URL}/jedit/$SOURCE WEB_SITE=http://www.jedit.org ENTERED=20040608 - SOURCE_GPG=gurus.gpg:${SOURCE}.sig + SOURCE_HASH=sha512:db7937fb63b715d83da52e357d26cc3719e733c6cf98d9551a562a683e997fa8499f1790e8031287167626f32dde61d0eefdf4263c89cc0a2f660c1032aecdfe +# SOURCE_GPG=gurus.gpg:${SOURCE}.sig LICENSE[0]=GPL KEYWORDS="editors" SHORT="jEdit is a mature and well-designed programmer's text editor that has been in development for over 5 years." diff --git a/editors/jedit/PRE_BUILD b/editors/jedit/PRE_BUILD index 43d5ede668..aed56b6598 100755 --- a/editors/jedit/PRE_BUILD +++ b/editors/jedit/PRE_BUILD @@ -1,3 +1,3 @@ default_pre_build && patch -p1 -d ${SOURCE_DIRECTORY} < \ - ${SCRIPT_DIRECTORY}/build.properties_4.3pre6.patch + ${SCRIPT_DIRECTORY}/build.properties_4.3pre9.patch Binary files differ |