pkgbase = webstorm pkgdesc = JavaScript IDE and HTML editor. pkgver = 2019.3b193.5233.80 pkgrel = 1 url = https://www.jetbrains.com/webstorm/ arch = x86_64 arch = i686 license = commercial depends = glib2 options = !strip source = https://download.jetbrains.com/webstorm/WebStorm-2019.3.tar.gz source = jetbrains-webstorm.desktop source = LICENSE sha512sums = 24718c07212230e5d3e5b1ebce85bc5a1fb73ef708f60888bc1a74233a345ff99a075dc222958475607b25a05cc544eb45f415db54bcef5d73922c74ec90cd14 sha512sums = 3635b8b6787aae583742e95de7d26d0f80b857f48143898e5963f219d1d4ec8b4cb8e37ce3f058324bb5a253b883c2610be848e883576896c67030e9a36be7e6 sha512sums = e2aaaa75571f368f85bcc4baef27cc502781ce382bf04737763b07244716918fc2f0eb0b78b02631e242c9a5c246b27d720bb28556fc64bbde213403b7bf57f6 pkgname = webstorm optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended) optdepends = java-runtime: JRE - Required if webstorm-jre is not installed optdepends = gnome-keyring: save login/deployment credentials safely pkgname = webstorm-jre pkgdesc = JBR (JetBrains Runtime) for WebStorm - a patched JRE url = https://confluence.jetbrains.com/display/JBR/JetBrains+Runtime