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 <gebner@gebner.org>
 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