gebner/archpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

gebner-desktop-2

Browse Source
This commit is contained in:
Gabriel Ebner 2020-12-26 19:52:40 +01:00
parent 40e3a03afa
commit ceab653561
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gebner-desktop/.SRCINFO
View File

@ -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

4
gebner-desktop/PKGBUILD
View File

@ -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