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 | |
| parent | 6ec6d84383b1be370ef72890168352e61b5e526f (diff) | |
| download | aur-d8629de33df29e49cc0340843c683f8abe3722f5.tar.gz | |
new version
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 6 insertions, 6 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Wed Dec 28 22:08:11 UTC 2016 +# Fri Dec 30 22:11:35 UTC 2016 pkgbase = devdocs-desktop pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. - pkgver = 0.3.0 + pkgver = 0.3.1 pkgrel = 1 url = https://github.com/hardpixel/devdocs-desktop arch = any @@ -10,8 +10,8 @@ pkgbase = devdocs-desktop depends = python depends = webkitgtk provides = devdocs-desktop - source = https://github.com/hardpixel/devdocs-desktop/archive/v0.3.0.tar.gz - md5sums = 96a7d522bd145380d434724b029b5b79 + source = https://github.com/hardpixel/devdocs-desktop/archive/v0.3.1.tar.gz + md5sums = e87983074009c7cfcb055f9b50cb5f2b pkgname = devdocs-desktop @@ -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" |