From 17f6babdf3869bc0e94ea5222f6829e9a0559bf9 Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Mon, 28 Nov 2016 20:21:39 -0500
Subject: Removing clasp: This package is in [community] repo

---
 pcr/clasp/PKGBUILD | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 pcr/clasp/PKGBUILD

diff --git a/pcr/clasp/PKGBUILD b/pcr/clasp/PKGBUILD
deleted file mode 100644
index f80c15f77..000000000
--- a/pcr/clasp/PKGBUILD
+++ /dev/null
@@ -1,26 +0,0 @@
-# Maintainer (Arch): Vincent Bernardoff <vb@luminar.eu.org>
-# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe>
-
-pkgname=clasp
-groups=('potassco')
-pkgver=3.2.0
-pkgrel=1
-pkgdesc="A conflict-driven nogood learning answer set solver."
-arch=('x86_64' 'i686')
-url="http://potassco.sourceforge.net/"
-license=('GPL3')
-makedepends=('clang')
-source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
-sha1sums=(ff29d1c506fe6545a7b70b0fd3f4d4e707e2315a)
-
-build() {
-    cd "${srcdir}/${pkgname}-${pkgver}"
-    ./configure.sh --prefix='/usr' CXX=clang++
-    cd build/release
-    make
-}
-
-package() {
-    cd "${srcdir}/${pkgname}-${pkgver}/build/release/bin"
-    install -D "${pkgname}" "${pkgdir}/usr/bin/${pkgname}"
-}
-- 
cgit v1.2.3