diff options
Diffstat (limited to 'editors/jedit/DETAILS')
-rwxr-xr-x | editors/jedit/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/jedit/DETAILS b/editors/jedit/DETAILS index d0c2d3409e..e8f7b1068b 100755 --- a/editors/jedit/DETAILS +++ b/editors/jedit/DETAILS @@ -1,11 +1,11 @@ SPELL=jedit - VERSION=4.4.1 + VERSION=4.4.2 SOURCE=jedit${VERSION}source.tar.bz2 SOURCE_DIRECTORY=$BUILD_DIRECTORY/jEdit SOURCE_URL[0]=${SOURCEFORGE_URL}/${SPELL}/${SPELL}/${VERSION}/${SOURCE} WEB_SITE=http://www.jedit.org ENTERED=20040608 - SOURCE_HASH=sha512:7d1587c6868b9c584f58a2a61f496f7aa260e727e8a65dc3522749011336de11e87bdc35e7c2b9ad25023d570a2e272ea97615126b7aa3bde3ba531f9deaf70c + SOURCE_HASH=sha512:76bfa29d3f33fc20e8699e038f364867b037c7227be3cb02f566fdd5b282d737c7a83623fb771578309c6c44545d1aea9441530b6020b1741a3221da63e8e7ad 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." |