From b93e41d5bc535a3eee7ea1e37f764237b703e9fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 17 Nov 2017 18:40:08 +0100
Subject: [PATCH] Removed Arch PKGBUILD from repository.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The PKGBUILD for Arch Linux is already hosted at AUR, and there
shouldn’t be two sources for it.
---
 packaging/arch/PKGBUILD | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 packaging/arch/PKGBUILD

diff --git a/packaging/arch/PKGBUILD b/packaging/arch/PKGBUILD
deleted file mode 100644
index be67ebe..0000000
--- a/packaging/arch/PKGBUILD
+++ /dev/null
@@ -1,39 +0,0 @@
-# Maintainer: Patrick Lühne <patrick-arch@luehne.de>
-pkgname=plasp
-pkgver=3.0.3
-pkgrel=1
-epoch=
-pkgdesc="ASP planning tools for PDDL"
-arch=('x86_64' 'i686')
-url="https://github.com/potassco/plasp"
-license=('MIT')
-groups=()
-depends=()
-makedepends=('cmake')
-checkdepends=()
-optdepends=()
-provides=()
-conflicts=()
-replaces=()
-backup=()
-options=()
-install=
-changelog=
-source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz")
-noextract=()
-md5sums=('2ecd24c675b69fb9fda8c50b8ffefede')
-validpgpkeys=()
-
-build() {
-	cd "$pkgname-$pkgver"
-	mkdir build
-	cd build
-	cmake .. -DCMAKE_BUILD_TYPE=Release
-	make
-}
-
-package() {
-	cd "$pkgname-$pkgver"
-	install -D build/bin/${pkgname} ${pkgdir}/usr/bin/${pkgname}
-	install -D -m644 LICENSE.md "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
-}