diff options
author | Jonian Guveli | 2019-05-26 17:24:25 +0300 |
---|---|---|
committer | Jonian Guveli | 2019-05-26 17:24:25 +0300 |
commit | 352c27132a6e1d3f949dabab5453ca330bb64a0c (patch) | |
tree | 49f61a108b250f9d78a9594755b244b18fcd9aa3 | |
parent | 72cd858c82c06619f7ff01beb4d0356e27ab7ab9 (diff) | |
download | aur-352c27132a6e1d3f949dabab5453ca330bb64a0c.tar.gz |
version update
-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 = 0.9.0 + pkgver = 1.0.0 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-0.9.0::https://github.com/hardpixel/devdocs-desktop/archive/v0.9.0.tar.gz - md5sums = c0eafb908d82792c571d4d2a4c99455c + source = devdocs-desktop-1.0.0::https://github.com/hardpixel/devdocs-desktop/archive/v1.0.0.tar.gz + md5sums = f6bbb305c6149ea67b61af78562bd6ea pkgname = devdocs-desktop @@ -1,6 +1,6 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop -pkgver=0.9.0 +pkgver=1.0.0 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=("c0eafb908d82792c571d4d2a4c99455c") +md5sums=("f6bbb305c6149ea67b61af78562bd6ea") package() { mkdir -p "$pkgdir/opt" |