diff options
author | Jonian Guveli | 2020-09-05 12:01:40 +0300 |
---|---|---|
committer | Jonian Guveli | 2020-09-05 12:01:40 +0300 |
commit | b23db1db7ad6d1394cac7207294520cdacec803e (patch) | |
tree | 4abb0124b6c7bc9cec20d3506c84e8adaffd0662 | |
parent | 4f3eb32ce9f9323d6fbd39c3c29dce4619549e05 (diff) | |
download | aur-b23db1db7ad6d1394cac7207294520cdacec803e.tar.gz |
version update to 1.1.1
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = devdocs-desktop pkgdesc = DevDocs GTK3 application for multiple API documentations in a fast searchable interface - pkgver = 1.1.0 + pkgver = 1.1.1 pkgrel = 1 url = https://github.com/hardpixel/devdocs-desktop arch = any @@ -10,8 +10,8 @@ pkgbase = devdocs-desktop depends = python-dbus depends = webkit2gtk provides = devdocs-desktop - source = devdocs-desktop-1.1.0::https://github.com/hardpixel/devdocs-desktop/archive/v1.1.0.tar.gz - md5sums = cf2b9c86d59a07cb4137dd478a313ec4 + source = devdocs-desktop-1.1.1::https://github.com/hardpixel/devdocs-desktop/archive/v1.1.1.tar.gz + md5sums = 63770358fae9cf4655a630116b584dd8 pkgname = devdocs-desktop @@ -1,6 +1,6 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop -pkgver=1.1.0 +pkgver=1.1.1 pkgrel=1 pkgdesc="DevDocs GTK3 application for multiple API documentations in a fast searchable interface" arch=("any") @@ -9,7 +9,7 @@ license=("GPL") depends=("python" "python-gobject" "python-dbus" "webkit2gtk") provides=("devdocs-desktop") source=("$pkgname-$pkgver::$url/archive/v$pkgver.tar.gz") -md5sums=("cf2b9c86d59a07cb4137dd478a313ec4") +md5sums=("63770358fae9cf4655a630116b584dd8") package() { mkdir -p "$pkgdir/opt" |