From c149569847f43f62974441ccc6df06dca75f5bf3 Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Tue, 7 Jun 2016 12:25:53 +0000
Subject: [PATCH] removed community/ppl

---
 community/ppl/PKGBUILD | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 community/ppl/PKGBUILD

diff --git a/community/ppl/PKGBUILD b/community/ppl/PKGBUILD
deleted file mode 100644
index 96f2f4aaf..000000000
--- a/community/ppl/PKGBUILD
+++ /dev/null
@@ -1,36 +0,0 @@
-# $Id$
-# Maintainer: Allan McRae <allan@archlinux.org>
-# Contributor: ezzetabi <ezzetabi at gawab dot com>
-
-# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
-#  - remove when bumped upstream
-
-pkgname=ppl
-pkgver=1.1
-pkgrel=2
-pkgdesc="A modern library for convex polyhedra and other numerical abstractions"
-arch=('i686' 'x86_64')
-url="http://bugseng.com/products/ppl"
-license=('GPL3')
-depends=('gmp')
-options=('!docs')
-source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('4f2422c0ef3f409707af32108deb30a7'
-         'SKIP')
-validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
-
-build() {
-  cd ppl-$pkgver
-  ./configure --prefix=/usr --enable-interfaces="c,cxx"
-  make
-}
-
-check() {
-  cd ppl-$pkgver
-  make check
-}
-
-package() {
-  cd ppl-$pkgver
-  make DESTDIR="$pkgdir" install
-}