diff options
author | John Harding | 2007-02-22 13:56:57 -0800 |
---|---|---|
committer | John Harding | 2007-02-22 13:56:57 -0800 |
commit | 61912d4d7047cc66b3496e4f5f7e1f690b02b810 (patch) | |
tree | 68f08792d4f347c7458e7463f05f67826de857a3 | |
parent | 455990b240b9128f123e1b3a273110fa1e562061 (diff) |
Added sig to keyring
-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 |