diff options
| author | frederik | 2017-02-24 14:01:41 +0100 |
|---|---|---|
| committer | frederik | 2017-02-24 14:01:41 +0100 |
| commit | f96e6a51654997c7c0242b51157bd92e25ced5d2 (patch) | |
| tree | b1dc1370d04027a4db3a10dd44653069ac12fe72 /.SRCINFO | |
| parent | 1eceb75a00602715a29c005e0f3670ac15ed57ec (diff) | |
| download | aur-f96e6a51654997c7c0242b51157bd92e25ced5d2.tar.gz | |
split package
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -1,15 +1,13 @@ # Generated by mksrcinfo v8 -# Wed Feb 1 00:47:30 UTC 2017 +# Fri Feb 24 13:01:31 UTC 2017 pkgbase = webstorm pkgdesc = JavaScript IDE and HTML editor. pkgver = 2016.3.3 - pkgrel = 1 - url = http://www.jetbrains.com/webstorm/ + pkgrel = 2 + url = https://www.jetbrains.com/webstorm/ arch = x86_64 arch = i686 license = Commercial - optdepends = java-environment>=8: use system java - optdepends = java-runtime-common: use system java options = !strip source = https://download.jetbrains.com/webstorm/WebStorm-2016.3.3.tar.gz source = jetbrains-webstorm.desktop @@ -17,4 +15,8 @@ pkgbase = webstorm sha512sums = e261eb9b7fe61518d3399874492c94b642cb8268861c246692887ef3027380af06b7e692d6733340deebb629a3c8d095364cb6def4071cd5af31cfbfe9ec6b68 pkgname = webstorm + optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended) + optdepends = java-runtime>=8: JRE - Required if webstorm-jre is not installed + +pkgname = webstorm-jre |