diff options
author | Michael Lass | 2019-04-28 19:26:27 +0200 |
---|---|---|
committer | Michael Lass | 2019-04-28 19:26:27 +0200 |
commit | c820bda6d79467177a41f7f6c1327b3fa281d011 (patch) | |
tree | ad1f635f7577098fda12dc2cd4ca3004a5cf7c62 /.SRCINFO | |
parent | bc702d92cc0842dd6d7cd295743d849dc250fc67 (diff) | |
download | aur-c820bda6d79467177a41f7f6c1327b3fa281d011.tar.gz |
Update to jdk-12.0.1+12
Also drop desktop file for non-existing policytool
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 24 |
1 files changed, 11 insertions, 13 deletions
@@ -1,6 +1,6 @@ pkgbase = jdk-adoptopenjdk pkgdesc = OpenJDK Java 12 development kit (AdoptOpenJDK build) - pkgver = 12.u33 + pkgver = 12.0.1.u12 pkgrel = 1 url = https://adoptopenjdk.net/ install = install_jdk-adoptopenjdk.sh @@ -16,18 +16,18 @@ pkgbase = jdk-adoptopenjdk optdepends = gtk3: for the Gtk+ 3 look and feel provides = java-runtime-headless=12 provides = java-runtime-headless-openjdk=12 - provides = jre12-openjdk-headless=12.u33 - provides = jre-openjdk-headless=12.u33 + provides = jre12-openjdk-headless=12.0.1.u12 + provides = jre-openjdk-headless=12.0.1.u12 provides = java-runtime=12 provides = java-runtime-openjdk=12 - provides = jre12-openjdk=12.u33 - provides = jre-openjdk=12.u33 + provides = jre12-openjdk=12.0.1.u12 + provides = jre-openjdk=12.0.1.u12 provides = java-environment=12 provides = java-environment-openjdk=12 - provides = jdk12-openjdk=12.u33 - provides = jdk-openjdk=12.u33 - provides = openjdk12-src=12.u33 - provides = openjdk-src=12.u33 + provides = jdk12-openjdk=12.0.1.u12 + provides = jdk-openjdk=12.0.1.u12 + provides = openjdk12-src=12.0.1.u12 + provides = openjdk-src=12.0.1.u12 backup = etc/jdk-adoptopenjdk/logging.properties backup = etc/jdk-adoptopenjdk/management/jmxremote.access backup = etc/jdk-adoptopenjdk/management/jmxremote.password.template @@ -43,15 +43,13 @@ pkgbase = jdk-adoptopenjdk backup = etc/jdk-adoptopenjdk/security/policy/unlimited/default_local.policy backup = etc/jdk-adoptopenjdk/security/policy/unlimited/default_US_export.policy backup = etc/jdk-adoptopenjdk/sound.properties - source = https://github.com/AdoptOpenJDK/openjdk12-binaries/releases/download/jdk-12%2B33/OpenJDK12U-jdk_x64_linux_hotspot_12_33.tar.gz + source = https://github.com/AdoptOpenJDK/openjdk12-binaries/releases/download/jdk-12.0.1%2B12/OpenJDK12U-jdk_x64_linux_hotspot_12.0.1_12.tar.gz source = freedesktop-java.desktop source = freedesktop-jconsole.desktop - source = freedesktop-policytool.desktop source = freedesktop-jshell.desktop - sha256sums = 4739064dc439a05487744cce0ba951cb544ed5e796f6c699646e16c09da5dd6a + sha256sums = dd3fdf3771a05a010029c1cf1aef516928eab55d6f5eb019008875e9ccbc8337 sha256sums = 9b11bbaf5834748fc9a30cb887c129b32f34a81535dc512ff47b26ae72c91927 sha256sums = 16551b98abbd5cbb9da14157df60afd2a608602c6e3734e979d9574e0780f8da - sha256sums = 59ecc9542661f169020867cacba7d8e3723a57ab0b6ccd02c5c1a2fbb898a866 sha256sums = 7d46b5ffcb2528f039b4534dddeab4b87de92106c25ff17e175570edde52f1c9 pkgname = jdk-adoptopenjdk |