blob: 21b789a373294a5b9258d2c9c8f333e408a3426f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Generated by mksrcinfo v8
# Tue Dec 12 21:05:28 UTC 2017
pkgbase = webstorm
pkgdesc = JavaScript IDE and HTML editor.
pkgver = 2017.3.1
pkgrel = 1
url = https://www.jetbrains.com/webstorm/
arch = x86_64
arch = i686
license = Commercial
makedepends = rsync
options = !strip
source = https://download.jetbrains.com/webstorm/WebStorm-2017.3.1.tar.gz
source = jetbrains-webstorm.desktop
sha512sums = 4356d170f4569e8b74ba495446f2d3ff3e4b78ed69d48ab0495a8b8fc92a75585fa1140d7bed33bccc7d466a53cd4c9e5919d0af707b7771b35e9eecc54e946d
sha512sums = e261eb9b7fe61518d3399874492c94b642cb8268861c246692887ef3027380af06b7e692d6733340deebb629a3c8d095364cb6def4071cd5af31cfbfe9ec6b68
pkgname = webstorm
optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended)
optdepends = java-runtime>=8: JRE - Required if webstorm-jre is not installed
optdepends = gnome-keyring: save login/deployment credentials safely
pkgname = webstorm-jre
|