diff options
author | Jonian Guveli | 2016-12-31 00:11:45 +0200 |
---|---|---|
committer | Jonian Guveli | 2016-12-31 00:11:45 +0200 |
commit | d8629de33df29e49cc0340843c683f8abe3722f5 (patch) | |
tree | 6ed9156ab581dbfe6285083024eca40594a771e6 /PKGBUILD | |
parent | 6ec6d84383b1be370ef72890168352e61b5e526f (diff) | |
download | aur-d8629de33df29e49cc0340843c683f8abe3722f5.tar.gz |
new version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop -pkgver=0.3.0 +pkgver=0.3.1 pkgrel=1 pkgdesc="DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface." arch=("any") @@ -9,7 +9,7 @@ license=("GPL") depends=("python" "webkitgtk") provides=("devdocs-desktop") source=("https://github.com/hardpixel/devdocs-desktop/archive/v"$pkgver".tar.gz") -md5sums=("96a7d522bd145380d434724b029b5b79") +md5sums=("e87983074009c7cfcb055f9b50cb5f2b") package() { mkdir -p "$pkgdir/opt" |