diff options
| author | Nicola Murino | 2019-11-08 09:38:53 +0100 |
|---|---|---|
| committer | Nicola Murino | 2019-11-08 09:38:53 +0100 |
| commit | c05422e7a1f245c1f80db49493845913d5844fe6 (patch) | |
| tree | f3f073fd93790f8128f2809e774863dbbd2eeb9c /.SRCINFO | |
| parent | 09173909328b79255d89549fa09dcd1a5f9f032b (diff) | |
| download | aur-c05422e7a1f245c1f80db49493845913d5844fe6.tar.gz | |
Update to 5.0.0-10
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,23 +1,23 @@ pkgbase = pop-gnome-shell-theme-bin pkgdesc = System76 Pop GNOME Shell Theme pkgver = 5.0.0 - pkgrel = 9 + pkgrel = 10 url = https://github.com/pop-os/gnome-shell-theme arch = any license = GPL2 license = CCPL:by-sa depends = gnome-shell>=3.18.3 depends = pop-gtk-theme-bin - depends = pop-session-bin optdepends = pop-icon-theme-bin: Recommended icon theme optdepends = pop-sound-theme-bin: Recommended sound theme optdepends = ttf-fira-sans: Recommended font for window titles and interface optdepends = ttf-fira-mono: Recommended monospace font optdepends = ttf-roboto-slab: Recommended font for documents + optdepends = pop-session-bin provides = pop-gnome-shell-theme conflicts = pop-gnome-shell-theme - source = http://ppa.launchpad.net/system76/pop/ubuntu/pool/main/p/pop-gtk-theme/pop-gnome-shell-theme_5.0.0~1571333736~19.10~d7e5e73_all.deb - sha256sums = f349dfdf360a980e336a908d15f58f596fc37fb642f1a9c625e5df8080446c4d + source = http://ppa.launchpad.net/system76/pop/ubuntu/pool/main/p/pop-gtk-theme/pop-gnome-shell-theme_5.0.0~1572451994~19.10~fb69de2_all.deb + sha256sums = 7eb579a3a883f99c68b70e042720f9a6880b12072f06c26358ac1551891cfda7 pkgname = pop-gnome-shell-theme-bin |