blob: c06e517e816b0672d13787e06b3897e72366405a (
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
25
26
27
28
|
# Generated by mksrcinfo v8
# Tue Jan 30 10:13:57 UTC 2018
pkgbase = intellij-idea-ultimate-edition
pkgdesc = An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity.
pkgver = 2017.3.3
pkgrel = 2
url = https://www.jetbrains.com/idea/
install = intellij-idea-ultimate-edition.install
arch = any
license = Commercial
options = !strip
source = https://download.jetbrains.com/idea/ideaIU-2017.3.3.tar.gz
source = jetbrains-idea.desktop
sha256sums = 05a7382ad5f04a64f0caa10c14af61c0270cf8a2ac25bb2c14a52536c3587e55
sha256sums = 83af2ba8f9f14275a6684e79d6d4bd9b48cd852c047dacfc81324588fa2ff92b
pkgname = intellij-idea-ultimate-edition
depends = giflib
depends = libxtst
optdepends = intellij-idea-ultimate-edition-jre: JetBrains custom JRE (Recommended)
optdepends = java-environment: Required if intellij-idea-ultimate-edition-jre is not installed
backup = opt/intellij-idea-ultimate-edition/bin/idea.vmoptions
backup = opt/intellij-idea-ultimate-edition/bin/idea64.vmoptions
backup = opt/intellij-idea-ultimate-edition/bin/idea.properties
pkgname = intellij-idea-ultimate-edition-jre
arch = x86_64
|