From ceab653561e85a82ca488ecffbfa7c0eda8204d8 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sat, 26 Dec 2020 19:52:40 +0100 Subject: [PATCH] gebner-desktop-2 --- gebner-desktop/.SRCINFO | 3 ++- gebner-desktop/PKGBUILD | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/gebner-desktop/.SRCINFO b/gebner-desktop/.SRCINFO index 7ba7ffa..725ddad 100644 --- a/gebner-desktop/.SRCINFO +++ b/gebner-desktop/.SRCINFO @@ -1,6 +1,6 @@ pkgbase = gebner-desktop pkgdesc = System config (desktop packages) - pkgver = 1 + pkgver = 2 pkgrel = 1 url = https://git.gebner.org/gebner/archpkgs arch = any @@ -64,6 +64,7 @@ pkgbase = gebner-desktop depends = obs-studio depends = z3 depends = cvc4 + depends = elan depends = intellij-idea-community-edition depends = jdk-openjdk depends = sbt diff --git a/gebner-desktop/PKGBUILD b/gebner-desktop/PKGBUILD index 96db7f2..76c81bd 100644 --- a/gebner-desktop/PKGBUILD +++ b/gebner-desktop/PKGBUILD @@ -1,6 +1,6 @@ # Maintainer: Gabriel Ebner pkgname=gebner-desktop -pkgver=1 +pkgver=2 pkgrel=1 pkgdesc="System config (desktop packages)" arch=(any) @@ -129,7 +129,7 @@ depends+=( # open-wbo # vampire - # elan + elan ) # Devel