diff options
Diffstat (limited to 'devtools32/PKGBUILD')
| -rw-r--r-- | devtools32/PKGBUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index e81f4bd6a..7e843a616 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -2,6 +2,8 @@ # Maintainer: Erich Eckner <arch at eckner dot net> # Contributor: Pierre Schmitz <pierre@archlinux.de> +# repo: releng + pkgname=devtools32 pkgver=20171218 pkgrel=2 |