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 /.SRCINFO | |
parent | 6ec6d84383b1be370ef72890168352e61b5e526f (diff) | |
download | aur-d8629de33df29e49cc0340843c683f8abe3722f5.tar.gz |
new version
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 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 |