[arch-commits] Commit in ppl/repos (3 files)

[Allan McRae]

    Date: Sunday, March 4, 2012 @ 05:58:12
  Author: allan
Revision: 151929

db-move: moved ppl from [testing] to [core] (x86_64)

Added:
  ppl/repos/core-x86_64/PKGBUILD
    (from rev 151923, ppl/repos/testing-x86_64/PKGBUILD)
Deleted:
  ppl/repos/core-x86_64/PKGBUILD
  ppl/repos/testing-x86_64/

----------+
 PKGBUILD |   65 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 33 insertions(+), 32 deletions(-)

Deleted: core-x86_64/PKGBUILD
===================================================================
--- core-x86_64/PKGBUILD	2012-03-04 10:58:10 UTC (rev 151928)
+++ core-x86_64/PKGBUILD	2012-03-04 10:58:12 UTC (rev 151929)
@@ -1,32 +0,0 @@
-# $Id$
-# Maintainer: Allan McRae <allan at archlinux.org>
-# Contributor: ezzetabi <ezzetabi at gawab dot com>
-
-pkgname=ppl
-pkgver=0.11.2
-pkgrel=2
-pkgdesc="A modern library for convex polyhedra and other numerical abstractions."
-arch=('i686' 'x86_64')
-url="http://www.cs.unipr.it/ppl"
-license=('GPL3')
-depends=('gmp>=5.0')
-options=('!docs' '!libtool')
-source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('ce014f153a28006009db207ca953a984')
-
-build() {
-  cd $srcdir/ppl-$pkgver
-  ./configure --prefix=/usr --enable-interfaces="c,cxx"
-  make
-}
-
-check() {
-  cd $srcdir/ppl-$pkgver
-  make check
-}
-
-package() {
-  cd $srcdir/ppl-$pkgver
-  make DESTDIR=$pkgdir install
-}
-

Copied: ppl/repos/core-x86_64/PKGBUILD (from rev 151923, ppl/repos/testing-x86_64/PKGBUILD)
===================================================================
--- core-x86_64/PKGBUILD	                        (rev 0)
+++ core-x86_64/PKGBUILD	2012-03-04 10:58:12 UTC (rev 151929)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae <allan at archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=0.12
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
+         '41869f374e70d0a4d2faa61566365b9d')
+
+build() {
+  cd $srcdir/ppl-$pkgver
+  ./configure --prefix=/usr --enable-interfaces="c,cxx"
+  make
+}
+
+check() {
+  cd $srcdir/ppl-$pkgver
+  make check
+}
+
+package() {
+  cd $srcdir/ppl-$pkgver
+  make DESTDIR=$pkgdir install
+}
+