diff options
author | Jonian Guveli | 2018-04-14 20:58:13 +0300 |
---|---|---|
committer | Jonian Guveli | 2018-04-14 20:58:13 +0300 |
commit | f464f4d7534ea1b6fef19d97b9c34854f5c77839 (patch) | |
tree | a1bada90bd3b7a7d88c58ecffd3f444fe42730d2 | |
parent | 83d3ec212c4f32dc50f0225a1a284b645bbc191c (diff) | |
download | aur-f464f4d7534ea1b6fef19d97b9c34854f5c77839.tar.gz |
optimize source
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = devdocs-desktop pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. pkgver = 0.8.0 - pkgrel = 2 + pkgrel = 3 url = https://github.com/hardpixel/devdocs-desktop arch = any license = GPL @@ -10,7 +10,7 @@ pkgbase = devdocs-desktop depends = python-dbus depends = webkit2gtk provides = devdocs-desktop - source = devdocs-desktop-0.8.0.tar.gz::https://github.com/hardpixel/devdocs-desktop/archive/v0.8.0.tar.gz + source = devdocs-desktop-0.8.0::https://github.com/hardpixel/devdocs-desktop/archive/v0.8.0.tar.gz md5sums = 9f70159a49929dd4ecd6069566655460 pkgname = devdocs-desktop @@ -1,14 +1,14 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop pkgver=0.8.0 -pkgrel=2 +pkgrel=3 pkgdesc="DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface." arch=("any") url="https://github.com/hardpixel/devdocs-desktop" license=("GPL") depends=("python" "python-gobject" "python-dbus" "webkit2gtk") provides=("devdocs-desktop") -source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz") +source=("$pkgname-$pkgver::$url/archive/v$pkgver.tar.gz") md5sums=("9f70159a49929dd4ecd6069566655460") package() { |