diff options
author | Jonian Guveli | 2016-12-29 00:08:45 +0200 |
---|---|---|
committer | Jonian Guveli | 2016-12-29 00:08:45 +0200 |
commit | 6ec6d84383b1be370ef72890168352e61b5e526f (patch) | |
tree | 79a54f8d78b93b1c8e00f666c1afb0c7daa90b93 | |
parent | 1614bca6e64165d881d866d80bc5a0c12ef381de (diff) | |
download | aur-6ec6d84383b1be370ef72890168352e61b5e526f.tar.gz |
release new version
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 8 insertions, 8 deletions
@@ -1,17 +1,17 @@ # Generated by mksrcinfo v8 -# Wed Dec 28 00:59:20 UTC 2016 +# Wed Dec 28 22:08:11 UTC 2016 pkgbase = devdocs-desktop pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. - pkgver = 0.2.0 - pkgrel = 2 + pkgver = 0.3.0 + pkgrel = 1 url = https://github.com/hardpixel/devdocs-desktop arch = any license = GPL depends = python depends = webkitgtk provides = devdocs-desktop - source = https://github.com/hardpixel/devdocs-desktop/archive/v0.2.0.tar.gz - md5sums = b156a7bc4a75e6a4c5cad34179c67ff2 + source = https://github.com/hardpixel/devdocs-desktop/archive/v0.3.0.tar.gz + md5sums = 96a7d522bd145380d434724b029b5b79 pkgname = devdocs-desktop @@ -1,7 +1,7 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop -pkgver=0.2.0 -pkgrel=2 +pkgver=0.3.0 +pkgrel=1 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" @@ -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=("b156a7bc4a75e6a4c5cad34179c67ff2") +md5sums=("96a7d522bd145380d434724b029b5b79") package() { mkdir -p "$pkgdir/opt" |