pkgbase = webstorm pkgdesc = JavaScript IDE and HTML editor. pkgver = 2019.2.4b192.7142.35 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.2.4.tar.gz source = jetbrains-webstorm.desktop sha512sums = acbafd2173122928fc433df4e4bf66ec9c67d79b9acd8fae22b5a446c90e06a14182ff93e0ecfc51419e59a9650bb64dd3de1a13d151c476becd977ddd30fa5e sha512sums = 3635b8b6787aae583742e95de7d26d0f80b857f48143898e5963f219d1d4ec8b4cb8e37ce3f058324bb5a253b883c2610be848e883576896c67030e9a36be7e6 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 JDK url = https://confluence.jetbrains.com/display/JBR/JetBrains+Runtime