diff options
| author | Steffen Weber | 2016-08-11 01:53:26 +0200 |
|---|---|---|
| committer | Steffen Weber | 2016-08-11 01:53:26 +0200 |
| commit | 5533c349c022b003ab4452b0a111731fe4f3e5b7 (patch) | |
| tree | 46d5ef3f852971205210dc8fd38ec136df594d89 | |
| parent | 6976a2b4680784e9e6f506bc89a262ea08f78cd7 (diff) | |
| download | aur-5533c349c022b003ab4452b0a111731fe4f3e5b7.tar.gz | |
Update to ver 12
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 8 insertions, 8 deletions
@@ -1,22 +1,22 @@ # Generated by mksrcinfo v8 -# Fri Mar 25 09:22:21 UTC 2016 +# Wed Aug 10 23:50:37 UTC 2016 pkgbase = mediathek pkgdesc = Offers access to the Mediathek of different german tv stations (ARD, ZDF, Arte, etc.) - pkgver = 11 + pkgver = 12 pkgrel = 1 url = http://zdfmediathk.sourceforge.net arch = any license = custom - depends = java-runtime + depends = java-openjfx optdepends = mplayer: record streams optdepends = flvstreamer: stream flash optdepends = vlc: play files directly from mediathek options = !strip options = !zipman - source = http://downloads.sourceforge.net/zdfmediathk/MediathekView_11.zip + source = http://downloads.sourceforge.net/zdfmediathk/MediathekView_12.zip source = mediathek source = mediathek.desktop - md5sums = 1d9f999c65f9c8f22f1cee6dc45876fe + md5sums = e754dd7a1e6f77ed898288c2f270eaa4 md5sums = e52a61eabb6a5931dc2a1fe261bc7d95 md5sums = bad6e1fdc948ac0e41b8535509cf944d @@ -3,13 +3,13 @@ # Contributor: Benedikt 'linopolus' Mueller <benemue at googlemail dot com> pkgname=mediathek -pkgver=11 +pkgver=12 pkgrel=1 pkgdesc="Offers access to the Mediathek of different german tv stations (ARD, ZDF, Arte, etc.)" arch=(any) url="http://zdfmediathk.sourceforge.net" license=('custom') -depends=('java-runtime') +depends=('java-openjfx') optdepends=('mplayer: record streams' 'flvstreamer: stream flash' 'vlc: play files directly from mediathek') @@ -17,7 +17,7 @@ options=(!strip !zipman) source=(http://downloads.sourceforge.net/zdfmediathk/MediathekView_${pkgver}.zip $pkgname $pkgname.desktop) -md5sums=('1d9f999c65f9c8f22f1cee6dc45876fe' +md5sums=('e754dd7a1e6f77ed898288c2f270eaa4' 'e52a61eabb6a5931dc2a1fe261bc7d95' 'bad6e1fdc948ac0e41b8535509cf944d') |