From 30907fc2d1436cf5a97cf17f2d120a87c89f3505 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 5 Jan 2018 13:21:49 +0100
Subject: extra/devtools: replace by our devtools32

---
 extra/devtools/PKGBUILD | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 extra/devtools/PKGBUILD

diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD
new file mode 100644
index 00000000..e8f9b55a
--- /dev/null
+++ b/extra/devtools/PKGBUILD
@@ -0,0 +1,18 @@
+# we override almost everything
+
+pkgver=20171218
+pkgrel=2
+pkgdesc='Tools for Arch Linux 32 package maintainers'
+license=('GPL')
+url='https://github.com/archlinux32/devtools32/'
+source=("$pkgname-$pkgver.tar.gz::https://github.com/archlinux32/${pkgname}32/archive/v$pkgver.tar.gz")
+unset md5sums
+sha512sums=('b8301f97baedc927c196ebcec85e998af68788a34c327accfe28370048fa0b917bd817cb5d81a339ad2294d2edba4691d58f2a0750a64ef4d1cc3769dda83ef0')
+unset validpgpkeys
+
+eval "$(
+  declare -f prepare build check package | \
+    sed '
+      s/\${pkgname}/\032/
+    '
+)"
-- 
cgit v1.2.3-54-g00ecf