From accb51d01ef9df56f51bafd8bfcd0037239b97d2 Mon Sep 17 00:00:00 2001 From: Nico Alt <nicoalt@posteo.org> Date: Sun, 12 Apr 2020 00:00:12 +0000 Subject: [PATCH] Update GNOME runtime and move to rolling release of openjdk This wasn't possible before because my version of flatpak was buggy. --- app.briar.gtk.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/app.briar.gtk.json b/app.briar.gtk.json index f5fdd70..6854f9d 100644 --- a/app.briar.gtk.json +++ b/app.briar.gtk.json @@ -1,10 +1,10 @@ { "app-id": "app.briar.gtk", "runtime": "org.gnome.Platform", - "runtime-version": "3.32", + "runtime-version": "3.36", "sdk": "org.gnome.Sdk", "sdk-extensions": [ - "org.freedesktop.Sdk.Extension.openjdk11" + "org.freedesktop.Sdk.Extension.openjdk" ], "command": "briar-gtk", "finish-args": [ @@ -42,7 +42,7 @@ "name": "openjdk", "buildsystem": "simple", "build-commands": [ - "/usr/lib/sdk/openjdk11/install.sh" + "/usr/lib/sdk/openjdk/install.sh" ] }, { -- GitLab