diff options
| author | Jonian Guveli | 2016-12-27 00:00:57 +0200 |
|---|---|---|
| committer | Jonian Guveli | 2016-12-27 00:00:57 +0200 |
| commit | f43b629073b8677796479d1e1d6b40f90e233299 (patch) | |
| tree | c520c8538d16addb446af19d22662af2788deb4c | |
| parent | 45ce1fac4d46f1c04667abbb753fc8b6dfebed97 (diff) | |
| download | aur-f43b629073b8677796479d1e1d6b40f90e233299.tar.gz | |
update md5sum
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Mon Dec 26 21:41:24 UTC 2016 +# Mon Dec 26 22:00:24 UTC 2016 pkgbase = devdocs-desktop pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. pkgver = 0.1.0 - pkgrel = 2 + pkgrel = 3 url = https://github.com/hardpixel/devdocs-desktop arch = any license = GPL @@ -12,7 +12,7 @@ pkgbase = devdocs-desktop depends = webkitgtk provides = devdocs-desktop source = https://github.com/hardpixel/devdocs-desktop/archive/v0.1.0.tar.gz - md5sums = 2c728d855b6a9681f3dd77612f4197de + md5sums = fe476d4244afa06910057b2c04030276 pkgname = devdocs-desktop @@ -1,7 +1,7 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop pkgver=0.1.0 -pkgrel=2 +pkgrel=3 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" "gtk3" "webkitgtk") provides=("devdocs-desktop") source=("https://github.com/hardpixel/devdocs-desktop/archive/v"$pkgver".tar.gz") -md5sums=("2c728d855b6a9681f3dd77612f4197de") +md5sums=("fe476d4244afa06910057b2c04030276") package() { mkdir -p "$pkgdir/opt" |