blob: d00919d99ab7a03ebd863385fe6329a2f7f71e1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = jedit
pkgdesc = Editor for programmers
pkgver = 5.7.0
pkgrel = 1
url = http://jedit.org/
arch = any
license = GPL
makedepends = gendesk
depends = java-runtime>=12
optdepends = java-environment: for java development
optdepends = noto-fonts: a usable font
options = !emptydirs
source = https://sourceforge.net/projects/jedit/files/jedit/5.7.0/jedit-5.7.0-noarch-1sao.tgz
source = jedit.sh
source = jeditbg.sh
source = jedit.props
sha256sums = cee72bebf7c6e4ed63ad152e4038cdcc1cabfda5709fd61555952b758b4e92f9
sha256sums = a32f0344a793528ac10c3a59a75bb615353604a7980a7293ef453a7af8c38f64
sha256sums = a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915
sha256sums = dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347
pkgname = jedit
|