summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorJonian Guveli2018-11-19 17:00:09 +0200
committerJonian Guveli2018-11-19 17:00:09 +0200
commit72cd858c82c06619f7ff01beb4d0356e27ab7ab9 (patch)
tree7a58bd83142848f9b083e3503951592845e9f258 /PKGBUILD
parentd753157a2803444998ba6805fba248c3ef49f530 (diff)
downloadaur-72cd858c82c06619f7ff01beb4d0356e27ab7ab9.tar.gz
version update
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3500b77b703c..fd27932fd6ec 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Jonian Guveli <https://github.com/jonian/>
pkgname=devdocs-desktop
-pkgver=0.8.0
-pkgrel=3
+pkgver=0.9.0
+pkgrel=1
pkgdesc="DevDocs GTK3 application for multiple API documentations in a fast searchable interface"
arch=("any")
url="https://github.com/hardpixel/devdocs-desktop"
@@ -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=("9f70159a49929dd4ecd6069566655460")
+md5sums=("c0eafb908d82792c571d4d2a4c99455c")
package() {
mkdir -p "$pkgdir/opt"