intellij-idea-community-edition: update to 2019.1.3.

This commit is contained in:
asie 2019-06-07 10:34:50 +02:00 committed by John Zimmermann
parent 47b87f6d86
commit 91785617bc

View file

@ -1,6 +1,6 @@
# Template file for 'intellij-idea-community-edition'
pkgname=intellij-idea-community-edition
version=2019.1.2
version=2019.1.3
revision=1
archs="i686 x86_64"
depends="virtual?java-environment giflib libXtst"
@ -9,7 +9,7 @@ maintainer="John <johnz@posteo.net>"
license="Apache-2.0"
homepage="https://www.jetbrains.org/"
distfiles="https://download.jetbrains.com/idea/ideaIC-${version}-no-jbr.tar.gz"
checksum=c2e4ac38b93349d0f9454720c58a5b7636b7e6cd04f9bb24008deed026350c8f
checksum=6fbb1f99b467a7c7a39d74b835414288b113a9a136f9ba22b25ea44f87952fff
repository=nonfree
nopie=yes